Page 125 - Buku Ajar Pengantar Dasar Matematika (Penulis: Sari Herlina, M.Pd dan Ahmad Zamsuri, M.Kom)

~( ˅ ) ≡ ~ ˄~
11) Commutation (Com):
( ˅ ) ≡ ( ˅ )
( ˄ ) ≡ ( ˄ )
12) Association (Assoc):

[ ˅( ˅ )] ≡ [( ˅ )˅ ]
[ ˄( ˄ )] ≡ [( ˄ )˄ ]
13) Distribution (Dist):

[ ˄( ˅ )] ≡ [( ˄ )˅( ˄ )]
[ ˅( ˄ )] ≡ [( ˅ )˄( ˅ )]
14) Double Negation (DN):
≡ ~~

15) Transposition (Trans):
( → ) ≡ (~ → ~ )

16) Mateial Implication (Impl):
( → ) ≡ (~ ˅ )

17) Material Equivalent (Equiv):

( ↔ ) ≡ [( → )˄( → )]
( ↔ ) ≡ [( ˄ )˅(~ ˄~ )]
18) Exportation (Exp)

[( ˄ ) → ] ≡ [ → ( → )]
19) Tautologi (Taut):

≡ ˅
≡ ˄

121 Buku Ajar Pengantar Dasar Matematika