Marked_andMarked_notandimpliesMarked_impliestruefalseMarked_ornotorMarked_xorxorzyxnot(x)xor(x,true)or(x,y)xor(and(x,y),xor(x,y))implies(x,y)xor(and(x,y),xor(x,true))and(x,true)xand(x,false)falseand(x,x)xxor(x,false)xxor(x,x)falseand(xor(x,y),z)xor(and(x,z),and(y,z))not(x)xor(x,true)or(x,y)xor(and(x,y),xor(x,y))implies(x,y)xor(and(x,y),xor(x,true))and(x,true)xand(x,false)falseand(x,x)xxor(x,false)xxor(x,x)falseand(xor(x,y),z)xor(and(x,z),and(y,z))Marked_not(x)Marked_xor(x,true)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_implies(x,y)Marked_xor(and(x,y),xor(x,true))Marked_implies(x,y)Marked_and(x,y)Marked_implies(x,y)Marked_xor(x,true)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)not(x)xor(x,true)or(x,y)xor(and(x,y),xor(x,y))implies(x,y)xor(and(x,y),xor(x,true))and(x,true)xand(x,false)falseand(x,x)xxor(x,false)xxor(x,x)falseand(xor(x,y),z)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)xor1110or3330not110false10true0implies3310and120Marked_and30