任何公式都能等值地化成{￢,→, ∧}中的公式
举一反三
- 任何公式都能等值地化成{ ®, Ù}中的公式。
- 将公式p→(q→r)化成与之等值且仅含{￢，∧}中联结词的公式。
- 设A与B均为含n个命题变项的公式，任何公式A都能等值地化为联结词集{┐、→、∧}中的公式。
- 下列公式()与命题公式A→（B→A）等值。 A: A→（￢B∨A） B: ￢A→（A→￢B） C: ￢A∨（￢B∨A） D: （B∧A）→A
- 将已知的命题公式等值地化成给定的联结词完备集中的公式：将公式[tex=3.571x1.214]aQCSK4yZLNlAVVl8kUqI3ucIDN7GF2d3VTCbzJyZyps=[/tex]化成[tex=3.357x1.357]fnVKY3kODMgCL7Ry65Qj5g==[/tex]中的公式