问答题

用主析取范式判断下列各组公式是否等值．
(1)p→(q→r)与q→(p→r)．
(2)(p→q)→r与(p∧q)→r．

A.

B.

你可能感兴趣的试题

单项选择题

下列计价方法中，不符合历史成本计量属性的是( )。
A．发出存货计价所使用的移动平均法
B．可供出售金融资产期末采用公允价值计价
C．发出存货计价所使用的先进先出法
D．固定资产计提折旧

A.发出存货计价所使用的移动平均法

B.可供出售金融资产期末采用公允价值计价

C.发出存货计价所使用的先进先出法

某公司要从赵、钱、孙、李、周5名新毕业的大学生中选派一些人出国学习，选派必须满足以下条件：
(1)若赵去，钱也去．
(2)李、周两人中必有一人去．
(3)钱、孙两人中去且仅去一人．
(4)孙、李两人同去或同不去．
(5)若周去，则赵、钱也同去．
用等值演算法分析该公司如何选派他们出国?