equivMarked_orandMarked_implimplMarked_xorForMarked_equivnegMarked_andTMarked_negxorxyzxor(x,F)xxor(x,neg(x))Fand(x,T)xand(x,F)Fand(x,x)xand(xor(x,y),z)xor(and(x,z),and(y,z))xor(x,x)Fimpl(x,y)xor(and(x,y),xor(x,T))or(x,y)xor(and(x,y),xor(x,y))equiv(x,y)xor(x,xor(y,T))neg(x)xor(x,T)xor(x,F)xxor(x,neg(x))Fand(x,T)xand(x,F)Fand(x,x)xand(xor(x,y),z)xor(and(x,z),and(y,z))xor(x,x)Fimpl(x,y)xor(and(x,y),xor(x,T))or(x,y)xor(and(x,y),xor(x,y))equiv(x,y)xor(x,xor(y,T))neg(x)xor(x,T)Marked_and(xor(x,y),z)Marked_xor(and(x,z),and(y,z))Marked_and(xor(x,y),z)Marked_and(x,z)Marked_and(xor(x,y),z)Marked_and(y,z)Marked_impl(x,y)Marked_xor(and(x,y),xor(x,T))Marked_impl(x,y)Marked_and(x,y)Marked_impl(x,y)Marked_xor(x,T)Marked_or(x,y)Marked_xor(and(x,y),xor(x,y))Marked_or(x,y)Marked_and(x,y)Marked_or(x,y)Marked_xor(x,y)Marked_equiv(x,y)Marked_xor(x,xor(y,T))Marked_equiv(x,y)Marked_xor(y,T)Marked_neg(x)Marked_xor(x,T)xor(x,F)xxor(x,neg(x))Fand(x,T)xand(x,F)Fand(x,x)xand(xor(x,y),z)xor(and(x,z),and(y,z))xor(x,x)Fimpl(x,y)xor(and(x,y),xor(x,T))or(x,y)xor(and(x,y),xor(x,y))equiv(x,y)xor(x,xor(y,T))neg(x)xor(x,T)Marked_and(xor(x,y),z)Marked_and(x,z)Marked_and(xor(x,y),z)Marked_and(y,z)Marked_and1Marked_and(xor(x,y),z)Marked_and(y,z)Marked_and(xor(x,y),z)Marked_and(x,z)xor(x,F)xxor(x,neg(x))Fand(x,T)xand(x,F)Fand(x,x)xand(xor(x,y),z)xor(and(x,z),and(y,z))xor(x,x)Fimpl(x,y)xor(and(x,y),xor(x,T))or(x,y)xor(and(x,y),xor(x,y))equiv(x,y)xor(x,xor(y,T))neg(x)xor(x,T)