
Karena nilai dalam kolom 4 dan terakhir adalah sama bagi semua baris (yang mencakup semua kemungkinan nilai kebenaran penugasan ke variabel), kita dapat menyimpulkan dua ekspresi logis setara.
neg(p wedge q) = (neg p)vee(neg q)

Hukum dapat dibuktikan secara langsung dengan menggunakan tabel kebenaran; "1" mewakili benar, "0" mewakili false.
Tidak ada komentar:
Posting Komentar