(p=>q)^q')=>q' önermesinin en sade şeklini bulunuz.
(p'vq)ve q')ise q'
(q' v q)ve p')ise q'
q ve p' => q'
(q ve p')' =>q'
q've p v q'
(q' ve q') v p
CEVAP: q' v p