[P=>Pvq]=>(r^q') en sade hali
[p'v(pvq)' ]v (r'^q')
[p'v(p'vq') ]'v(r'^q')
(p'vq')'v(r'^q')
(p^q)v(r'^q')
(p^r')v(q'^q)
(p^r')v0
p^r'
ama cok emın deılım
buyuk ıhtımalle bu ama