【资料图】

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。

本文到此分享完毕，希望对大家有所帮助。