1.
(q' v p) → (q⇒p)'
bileşik önermesinin en sade şeklini bulunuz.
vp)v (a' >p)!
(qyp)y
(p) v(axip?)

(avp)
(avp)' (n^f)
V
P