aensiyeh
جمعه 18 دی 1394, 00:19 صبح
D
<=(A=> B)
اينجا با رزولوشن حل کردم مي خواستم ببينم آيا اين روشي که رفتم درست هست؟؟
not(A=>B) or D
not(notA)or notB or D
A or notB or D
<=(A=> B)
اينجا با رزولوشن حل کردم مي خواستم ببينم آيا اين روشي که رفتم درست هست؟؟
not(A=>B) or D
not(notA)or notB or D
A or notB or D