¬A&¬B&¬C&¬((C∨A)∧A)¬A&¬B&¬C&¬(C∧A)¬A&¬B&&¬C
¬((¬A∨¬B)& ¬(C∨C∧¬B))¬(A∧B)& ¬(¬C∨B)(¬A∨¬B)& (C&¬B)
¬((A∨¬B)& ¬(¬A∨C))¬(A∨¬B)& (A&¬C)(¬A& B)& (A&¬C)False
C∧(A∨B)∨¬(B∨¬C)C∧(A∨B)∨(¬B∧C)(C∧A)∨(C∧B)∨(¬B∧C)(B∧C)∨(C∧A)
¬(C∧(A∨B)∨¬(¬C∧¬A))¬(C∧(A∨B)∨(C∨A))¬(C∧(A∨B))¬C∨¬(A∨B)¬C∨(¬A∧¬B)
¬A&¬B&¬C&¬((C∨A)∧A)
¬A&¬B&¬C&¬(C∧A)
¬A&¬B&&¬C
¬((¬A∨¬B)& ¬(C∨C∧¬B))
¬(A∧B)& ¬(¬C∨B)
(¬A∨¬B)& (C&¬B)
¬((A∨¬B)& ¬(¬A∨C))
¬(A∨¬B)& (A&¬C)
(¬A& B)& (A&¬C)
False
C∧(A∨B)∨¬(B∨¬C)
C∧(A∨B)∨(¬B∧C)
(C∧A)∨(C∧B)∨(¬B∧C)
(B∧C)∨(C∧A)
¬(C∧(A∨B)∨¬(¬C∧¬A))
¬(C∧(A∨B)∨(C∨A))
¬(C∧(A∨B))
¬C∨¬(A∨B)
¬C∨(¬A∧¬B)