ab¬a¬ba∧b¬a∧b(a∧b)∨(¬a∧b)10xy¬x¬yx∧y¬x∧y(x∧y)∨(¬x∧y)00cd¬c¬dc∧d¬c∧d(c∧d)∨(¬c∧d)11ab¬a¬ba∧b¬a∧b(a∧b)∨(¬a∧b)11
