Tabel 4-1 Daftar Ekuivalen Logis

(Plus Hukum-hukum Logika Proposisional)

Ekuivalen Logis Nama

A1  A Identity of  (Identity Laws)
A 0  A Zero of  (Identity Laws)
A 1  1 Identity of  (Dominition Laws)
A0  0 Zero of  (Dominition Laws)
A A  1 Tautology (Excluded Middle Law)
A A  0 Law of Contradiction
A A  A Idempotence Laws
AA  A Idempotence Laws
 A  A Law of Double Negation

AB  BA Commutativity (Commutative Laws)1

A B  B A Commutativity (Commutative Laws)2

(A  B)  C  A  (B  C) Associativity (Associative Laws) 1

(A  B)  C  A  (B  C) Associativity (Associative Laws) 2
A  (B  C)  (A  B)  (A  C) Distributivity (Distributive Laws) 1
A  (B  C)  (A  B)  (A  C) Distributivity (Distributive Laws) 2
A  (A  B)  A Absorption 1a
A  (A  B)  A Absorption 1b
A  (  A  B)  A  B Absorption 2a  A  (A  B) 
A  (  A  B)  A  B  AB
Absorption 2b  A  (A  B) 
 A B
(A  B)  (A   B)  A Absorption 3a
(A  B)  (A   B)  A Absorption 3b
 A  B)  B
(A  B)  ( Absorption 4a
 A  B)  B
(A  B)  ( Absorption 4b
 (A  B)   A   B De Morgan’s Law 1
 (A  B)   A   B De Morgan’s Law 2
AB   A B Implikasi 1
A  B   (A   B) Implikasi 2
A  B  (A  B)  (  A  Ekuivalensi 1
 B) Ekuivalensi 2
AB  (A  B)  (B  A)