(p v q) => (p Λ q) önermesinin en sade şekli nedir?
-(pvq) v (pΛ q)
-pΛ -q v pΛ q
(-pv p )Λ (-q vq)
pΛq gelir :D
(Pvq)' v (PΛq)
(p'Λq') v (pΛq)
(p'Λp) v (q'Λq)
0 v 0 = 0
