Tabel kebenaran ini akan membuktikan ekuivalensi inkaran atau negasi
daripernyataan majemuk yang dibentuk dari dua pernyataan.
Negasi Konjungsi
Pernyataan ~(p Ù
q) ekuivalen dengan ~p Ú~q,
sehingga dapat juga ditulis dengan ~(p Ù
q) º ~p Ú~q. Kebenaran dari
pernyatan di atas dapat dibuktikan dengan tabel kebenaran berikut ini:
p
|
q
|
~p
|
~q
|
pÙq
|
~( pÙq)
|
~p Ú~q
|
B
B
S
S
|
B
S
B
S
|
S
S
B
B
|
S
B
S
B
|
B
S
S
S
|
S
B
B
B
|
S
B
B
B
|