Page 25 - LOGIKA MATEMATIKA OKE
P. 25
E-Modul Logika Matematika ntuk SMK Kelas XI
b. Ingkaran dari Disjungsi
Ingkaran dari disjungsi adalah sebagai berikut.
~( ∨ ) ≡ ~ ∧ ~
Perhatikan tabel kebenaran berikut yang
membuktikan ekuivalensi kedua pernyataan
tersebut.
Tabel 5 Tabel kebenaran ingkaran dari
disjungsi.
∧ ~( ∨ ) ~ ~ ~ ∧ ~
B B B S S S S
B S S S S B S
S B S S B S S
S S S B B B B
Ekuivalensi
Karena hasilnya ekuivalen, terbukti
~( ∨ ) ≡ ~ ∧ ~ .
Berdasarkan hasil ingkaran dari konjungsi
dandisjungsi, diperoleh
~( ∧ ) ≡ ~ ∨ ~
~( ∨ ) ≡ ~ ∧ ~
Kedua aturan tersebut dinamakan hukum De
Morgan.
2022, Pendidikan Matematika, FKIP Universitas Peradaban
22
