Marked_notMarked_orandnotMarked_andorzyxor(x,x)xand(x,x)xnot(not(x))xnot(and(x,y))or(not(x),not(y))not(or(x,y))and(not(x),not(y))or(x,x)xand(x,x)xnot(not(x))xnot(and(x,y))or(not(x),not(y))not(or(x,y))and(not(x),not(y))Marked_not(and(x,y))Marked_or(not(x),not(y))Marked_not(and(x,y))Marked_not(x)Marked_not(and(x,y))Marked_not(y)Marked_not(or(x,y))Marked_and(not(x),not(y))Marked_not(or(x,y))Marked_not(x)Marked_not(or(x,y))Marked_not(y)or(x,x)xand(x,x)xnot(not(x))xnot(and(x,y))or(not(x),not(y))not(or(x,y))and(not(x),not(y))Marked_not(and(x,y))Marked_not(x)Marked_not(and(x,y))Marked_not(y)Marked_not(or(x,y))Marked_not(x)Marked_not(or(x,y))Marked_not(y)Marked_not1Marked_not(or(x,y))Marked_not(y)Marked_not(or(x,y))Marked_not(x)Marked_not(and(x,y))Marked_not(y)Marked_not(and(x,y))Marked_not(x)or(x,x)xand(x,x)xnot(not(x))xnot(and(x,y))or(not(x),not(y))not(or(x,y))and(not(x),not(y))