最新消息:网站改版咯

等值式

数学 Yovae 1669浏览

双重否定律:
┐┐A⇔A
幂等律:
A∧A⇔A
A∨A⇔A
交换律:
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

转载请注明:Yovae Studio » 等值式