(p=>q') v p' önermesinin en sade hali nedir ?
(p=>q') v p' =
(p' v q' ) v p'=
p' ( q'v1)=
p'v1= 1'dir.
* p=>q önermesinin açılımı p'vq 'dur.
