Tugas Pertemuan 7 LogMat

Hukum Logika

Diketahui hukum-hukum logika :

1. p ^ T ≡ p (Identity)
2. p v F ≡ p (Identity)
3. p v T ≡ T (Domination)
4. p ^ F ≡ F (Domination)
5. p v p ≡ p (Idempotent)
6. p ^ p ≡ p (Idempotent)
7. ¬¬p ≡ p (Double negation)
8. p v q ≡ q v p (Commutative)
9. p ^ q ≡ q ^ p (Commutative)
10. (p v q) v r ≡ p v (q v r) (Associative)
11. (p ^ q) ^ r ≡ p ^ (q ^ r) (Associative)
12. p v (q ^ r) ≡ (p v q)^(p v r) (Distributif)
13. p ^ (q v r) ≡ (p ^ q)v(p ^ r) (Distributif)
14. ¬(p ^ q) ≡ ¬p v ¬q (De Morgan)
15. ¬(p v q) ≡ ¬p ^ ¬q (De Morgan)
16. p v ¬p ≡ T (Trivial Tautology / Contradiction)
17. p ^ ¬p ≡ F (Trivial Tautology / Contradiction)
18. p v (p ^ q) ≡ p (Absorbtion)
19. p ^ (p v q) ≡ p (Absorbtion)
20. p v (¬p ^ q) ≡ p v q (Absorbtion)
21. p ^ (¬p v q) ≡ p ^ q (Absorbtion)
22. (p ^ q) v (p ^ ¬q) ≡ p
23. p q ≡ ¬p v q
24. p q ≡ ¬(p ^ ¬q)
25. p↔q ≡ (p ^ q) v (¬p ^ ¬q)
26. p↔q ≡ (p  q) ^ (q  p)

Tugas anda, silahkan anda buktikan eqivalensi hukum logika di atas dengan pembagian sebagai berikut :

Angka Terakhir NIM Pembuktian Eqivalensi hukum logika nomor :

0 1,2,3,4,5,20,21,22,23,24,25
1 2,3,4,5,6,21,22,23,24,25,26
2 6,7,8,9,10,15,16,17,18,19
3 7,8,9,10,15,16,17,18,19,20
4 11,12,13,14,15,16,17,18,19,20
5 1,2,3,4,5,6,7,8,9,10
6 21,22,23,24,25,26,10,11,12,13
7 1,3,5,7,11,15,17,21,23,25
8 17,18,19,20,21,22,23,24,25,26
9 1,2,3,4,5,6,7,8,9,10