(~(~p+q)+~(~p+~q))=p ;			TTTT TTTT TTTT TTTT	Confirmation of Huntington's equation
((p>q)&(q>p))&((~p>~q)&(~q>~p)) ;	TFFT TFFT TFFT TFFT	Refutation of paraconsistent logic
#(#p>p)>#p ;				CTCT CTCT CTCT CTCT	Refutation of the Goedel-Loeb GL axiom