%defFoAs( false, equiv( id, 0 ) ). % propositional constant "falsehood" %defThAs( equiv([P]), [true(P)] ). %defThAs( equiv([P,Q|T]), [equiv(P,Q)|equiv([P|T])] ). defThAs( tmp(A,B,C,D,E), [false,equiv([A,B,C,D,E]),false] ). %%nameLets([a,p1,b,p2]). %%equiv([p3,p4,a,b]). defThAs( qmp(A,B,C,D,E,F), [nameLets([A,B,C,D]),equiv([E,F,A,C])] ). %%equiv([p3,p4,a,b]).