Kerjakan soal berikut dengan baik dan benar !

1. Misalkan proposisi 1 dan propososi 2 :

a. Tentukan tabel kebenaran dari proposisi pertama dan kedua
b. Tentukan ekuivalensi dari kedua proposisi tersebut
2. Berikut pembuktian ekuivalensi logis berdasarkan teorema . Berikan penjelasan
dari masing-masing tahapan pembuktian

(a) hukum distributif

(b) hukum komutatif
(c) hukum negasi
(d) hukum identitas
3. Buatlah tabel kebenaran dari proposisi

P Q ~p ~p v q ~q ~pvq -> ~q
B B S B S S
B S S S B B
S B B B S S
S S B B B B

4. Berikut diberikan beberapa premis dan konklusi,

a.
b.
c.
d.
e.
f.

Gunakan bentuk argument valid untuk memperoleh kesimpulan dari premis-premis

yang diberikan, berikan alasan pada setiap tahapan pembuktian.
5. Konstruksi sirkuit dari ekspresi Boolean berikut :
a.
b.