【資料圖】

1、雙5261重否定律：　　┐┐A?A　　冪等律：4102　　A∧A?A　　A∨A?A　　交換律1653：　　A∨B?B∨A　　A∧B?B∧A　　結合律：　　（A∧B）∧C?A∧（B∧C）　　（A∨B）∨C?A∨（B∨C）　　分配律：　　A∨（B∧C）?（A∨B）∧（A∨C）　　A∧（B∨C）?（A∧B）∨（A∧C）　　德摩根律：　　┐（A∨B）?┐A∧┐B　　┐（A∧B）?┐A∨┐B　　吸收律：　　A∨（A∧B）?A　　A∧（A∨B）?A　　零律：　　A∨1?1　　A∧0?0　　同一律：　　A∨0?A　　A∧1?A　　排中律：　　A∨┐A?1　　矛盾律：　　A∧┐A?0　　蘊涵等值式：　　A→B?┐A∨B　　等價等值式：　　A?B?（A→B）∧（B→A）　　假言易位：　　A→B?┐B→┐A　　等價否定等值式：　　A?B?┐A?┐B　　歸謬論：　　（A→B）∧（A→┐B）?┐A。

本文到此分享完畢，希望對大家有所幫助。