基本等价公式：设P、Q、R是任意公式，则：
1. (P←→Q) ＝ (P→Q)∧(Q→R)
2. P→Q ＝ ┐P∨Q
其他： (P→Q)∧(P→┐Q) ＝ ┐P ；
(P←→Q) ＝ (┐P←→┐Q)
幂等律： P∨P ＝ P ；P∧P ＝ P
交换律： P∨Q ＝ Q∨P ； P∧Q ＝ Q∧P
结合律： P∨(Q∨R) ＝ (P∨Q)∨R ； P∧(Q∧R) ＝ (P∧Q)∧R
吸收律： P∨(P∧Q) ＝ P ； P∧(P∨Q) ＝ P
分配律： P∨(Q∧R) ＝ (P∨Q)∧(P∨R)
P∧(Q∨R) ＝ (P∧Q)∨(P∧R)
同一律： P∨0 ＝ P ； P∧1 ＝ P
零律： P∨1 ＝ 1 ； P∧0 ＝ 0
排中律： P∨┐P ＝ 1
否定律： P∨┐P ＝ 1 ； P∧┐P ＝ 0
双重否定：┐(┐P) ＝ P 也叫对合律
德·摩律： ┐(P∨Q) ＝ ┐P∧┐Q ； ┐(P∧Q) ＝ ┐P∨┐Q
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/74291.html