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