pand(true,true).
por(A,B) :- A=true ; B = true.
pnot(false).
pxor(A,B) :- A \= B.

ptrue(true).
pfalse(false).