(p∧q)⇒(p∨q) önermesinin denki nedir?
ortadaki kareler ne ya nasıl çözüleceği belli değil ki
(p∧q)⇒(p∨q) (p∧q)=a , (p∨q)=b diyelim.
a=>b=a'vb=(p∧q)'v(p∨q)=(p'vq')v(pvq)=1
