MAYBE
36.53/10.91	MAYBE
36.53/10.91	
36.53/10.91	Problem:
36.53/10.91	 not(not(x)) -> x
36.53/10.91	 not(or(x,y)) -> and(not(not(not(x))),not(not(not(y))))
36.53/10.91	 not(and(x,y)) -> or(not(not(not(x))),not(not(not(y))))
36.53/10.91	
36.53/10.91	Proof:
36.53/10.91	 Open
36.53/10.91	EOF