PR PDM
- Buktikan!
[ (pÙq) Ùp]
Þq ek T
Jelas
~
[ (pÙq) Ùp]
Vq (Hk.
Implikasi)
Û ~ [~
(pÙq) V ~ p]
Vq (Hk. DM)
Û ~ [ (~pV~q) V~p] Vq (Hk.
DM)
Û ~p V (~qV~p)
Vq (Hk. Asosiatif)
Û ~p V (~pV~q)
Vq (Hk. Komutatif)
Û (~pV~p) V~q
Vq (Hk. Asosiatif)
Û ~pV~qVq (Hk. Idempoten)
Û ~PvT (Hk.
Komplement)
Û T (Hk.
Identitas)
2. [(pÞq) Ùp] Þq
[(~pVq) Ùp]
Þq
~ [(~p
Vq) Ùp] Vq
[~ (~pVq)
V~p] Vq
[ (pV~ q) V~p] Vq
[ (~qV p) V~p]
Vq
[ ~qV (p V~p)]
Vq
(~qV T) Vq
TV(~q Vq)
TvT
T
3. [ (pÞq)
Ù ~q ] Þ ~p
[ (~p
Úq) Ù~q
] Þ ~p
[ (~pÚq) Ù ~q] Ú ~p
[(~pÚ~q) Ú~q] Ú~p
[pÚ~q) Úq] Ú~p
[pÚ(~pÚq)] Ú~p
(pÚT)
Ú~p
T Ú(pÚ~p)
TÚT
T
4.
~X
|
X
|
¯
|
X
|
F
|
T
|
F
|
T
|
T
|
F
|
T
|
F
|
F
|
T
|
F
|
T
|
T
|
F
|
T
|
F
|
X
|
Ú
|
Y
|
X
|
¯
|
Y
|
¯
|
X
|
¯
|
Y
|
T
|
T
|
T
|
T
|
F
|
T
|
T
|
T
|
F
|
T
|
F
|
T
|
T
|
F
|
F
|
T
|
T
|
F
|
F
|
T
|
T
|
T
|
F
|
T
|
F
|
F
|
T
|
T
|
F
|
T
|
F
|
T
|
F
|
F
|
T
|
F
|
F
|
F
|
T
|
F
|
5.
~
|
(X
|
Ú
|
Y)
|
F
|
T
|
T
|
T
|
F
|
F
|
T
|
T
|
F
|
T
|
T
|
F
|
T
|
F
|
F
|
F
|
(X
|
¯
|
X
|
¯
|
(X
|
¯
|
X)
|
T
|
F
|
T
|
T
|
T
|
F
|
T
|
F
|
T
|
F
|
F
|
F
|
T
|
F
|
T
|
F
|
T
|
T
|
T
|
F
|
T
|
F
|
T
|
F
|
F
|
F
|
T
|
F
|
Tidak ada komentar:
Posting Komentar