<P>`(p rarr Q ) vee ( p rarr R ) ``p ^^ (~q) rarr r``p ^^ (~ r) rarr ` q`p ^^ q rarr ( p ^^ r) vee ( q ^^ r)`
Your experience on this site will be improved by allowing cookies. Read Cookie Policy