基本等值式双重否定律一-A台A幂等律AVA台AAΛA台A交换律AVB台BVAAΛB台BΛA零律AV1台1A^00同-律AV0台AAΛ1台A排中律 AV-A台 16
基本等值式双重否定律一-A台A幂等律AVA台AAΛA台A交换律AVB台BVAAΛB台BΛA零律AV1台1A^0台0同律AV0台AAΛ1台A排中律AV-A台1盾律 AΛ-A合 06
基本等值式双重否定律一-A台A幂等律AVAAAΛA台A交换律AVB台BVAAΛB台BΛA零律AV1台1A^0台0同一律AV0台AAΛI台A排中律AV-A台1矛盾律AΛ-A台O等价否定等值式A→B台-A台-B6
基本等值式结合律AVBVC台AV（BV(AAB) ACAΛ (BA C)