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