cd¬c¬dc∧d¬(c∧d)¬c∨¬d¬(c∧d)⇔¬c∨¬dab¬a¬ba∧b¬(a∧b)¬a∨¬b¬(a∧b)⇔¬a∧¬b¬gh¬g¬hg∧h¬(g∧h)¬g∨¬h¬(g∧h)⇔¬g∨¬hef¬e¬fe∧f¬(e∧f)¬e∨¬f¬(e∧f)⇔¬e∨¬f
