Marked_=andorMarked_impliestrue=Marked_notnotimpliesMarked_orxorzyxnot(x)xor(x,true)implies(x,y)xor(and(x,y),xor(x,true))or(x,y)xor(and(x,y),xor(x,y))=(x,y)xor(x,xor(y,true))not(x)xor(x,true)implies(x,y)xor(and(x,y),xor(x,true))or(x,y)xor(and(x,y),xor(x,y))=(x,y)xor(x,xor(y,true))