7:(pV9) A (9-
1p) ^ (p V r)
7 merupakan kalimat satisfiable. Buktikan dengan menggunakan tabel kebenaran!
Diberikan kalimat berikut:
Jawaban:
7:(pV9) A (9-
1p) ^ (p V r)
7 merupakan kalimat satisfiable. Buktikan dengan menggunakan tabel kebenaran!
Diberikan kalimat berikut:
Jawaban: