Nama : Razib Fazlur Rahman

No. Absen :8

Soal!
Buktikan ekuivalensi dari pernyataan-pernyataan berikut ini dengan menggunakan hukum
logika:
1. (PQ)  (PQ)  P
2. ((PQ)  (PQ))  (PQ)  P
3. (Q  P)  (P  Q)
4. (P  (Q  R))  ((P  Q)  R)
5. (P  (Q  R))  (Q  R)  (P  R)  R

Jawaban!
1. (P  Q)  (P  Q)  P
(P  Q)  (P  Q)  P H. De Morgen
P  (Q  Q)  P H. Distributif
P  F  P H. Negasi
 P H. Identitas

2. ((P  Q)  (P  Q))  (P  Q)  P

(P  (Q  Q))  (P  Q)  P H. Distributif
(P  T)  (P  Q)  P H. Negasi
(P)  (P  Q)  P H. Identitas
P  (P  Q)  P H. Negasi
P H. Absorpsi

3. (Q  P)  (P  Q)
(Q  P)  (P  Q) H. De Morgen
(P  Q)  (P  Q) H. Komutatif
 (P  Q) H. De Morgen

4. (P  (Q  R))  ((P  Q)  R)
(P  (Q  R))  ((P  Q)  R) H. De Morgen
((P  Q)  R)  ((P  Q)  R) H. Asosiatif
((P  Q)  R)  ((P  Q)  R) H. De Morgen
 ((P  Q)  R) H. De Morgen

5. (P  (Q  R))  (Q  R)  (P  R)  R

((P  Q)  R)  (Q  R)  (P  R)  R H. Asosiatif
((P  Q)  R)  R  (Q  P)  R H. Distributif
(R  (P  Q))  R  (Q  P)  R H. Komutatif
(R   (P  Q))  R  (Q  P)  R H. De Morgen
R  (( (P  Q))  (Q  P))  R H. Distributif
R  (( (P  Q))  (P  Q))  R H. Komutatif
R  (T)  R H. Negasi
R H. Identitas