2. Hukum Ini dapat Membuktikan bahwa satu variable Bersama negasinya dapat
saling Ekuivalen dengan nilai konstanta Proposisional.
Bentuk hukum komplemen :
1. p∨¬p ek T
2. P^¬p ek F
3. ¬ (¬p) ek P
4. ¬T ek F
HUKUM KOMPLEMEN
3. 1. p∨¬p ek T
2. P^¬p ek F
3. ¬ (¬p) ek P
4. ¬T ek F
Untuk membuktikan dari hukum komplemen,
Bisa di liahat dari table kebenaran Berikut ini :
TABEL KEBENARAN
p ¬p ¬ (¬p) T ¬T F pv¬p P^¬p
T F T T F F T F
F T F T F F T F