1、交换律 ,
2、结合律 ,
3、分配律 ,
4、德·摩根律 ,
5、等幂律 ,
6、吸收律 ,
7、零律 ,
8、同一律 ,
9、互否律 (排中律),(矛盾律)
10、双重否定律
11、蕴涵等值式
12、等价等值式
13、假言易位
14、等价否定等值式
15、归谬论