(p ise (p^q))v (p^q') biri yapabilir mi çok acill
(p'v(p^q))v(p^q')=(p'vp)^(p'vq)v(pvq')=1^(p'vq)v(pvq')=1^ p'vpvq'vq=1^1^1=1