第一命题逻辑等值演算 ppt

- 第一命题逻辑等值演算 - 基本等值式 - 双重否定律 : AA等幂律: AAA, AAA交换律: