MAYBE
0.08/0.17	MAYBE
0.08/0.17	
0.08/0.17	Problem:
0.08/0.17	 not(x) -> xor(x,true())
0.08/0.17	 implies(x,y) -> xor(and(x,y),xor(x,true()))
0.08/0.17	 or(x,y) -> xor(and(x,y),xor(x,y))
0.08/0.17	 =(x,y) -> xor(x,xor(y,true()))
0.08/0.17	
0.08/0.17	Proof:
0.08/0.17	 Open
0.08/0.18	EOF