Soal Tabel Kebenaran

Diketahui suatu ekspresi logika sebagai berikut:
NOT (A AND B) OR (C XOR NOT D) = NOT (A OR NOT B) AND (C OR D)
Apa hasil dari ekspresi logika tsb.
Jawab:
Konversikan terlebih dahulu :
*Sebelah kiri
-A "AND" B
-"NOT" B
-C "XOR" (NOT B)
-"NOT" (A AND B)
-NOT ( A AND B ) "OR" C XOR NOT B
*Sebelah Kanan
-"NOT" B
-A "OR" (NOT B)

-"NOT" (A OR NOT B)
-C "OR" D
-NOT (A OR NOT B) "AND" (C OR D)
*Bandingkan hasil sebelah kanan dengan hasil sebelah kiri..jika hasilnya sama berarti hasilnya TRUE
*Jika hasilnya lain berarti hasilnya FALSE

Menggunakan Tabel Kebenaran


Jadi :
NOT (A AND B) OR (C XOR NOT D) = NOT (A OR NOT B) AND (C OR D) = FALSE
Mari kita buktikan dengan menggunakan PASCAL