¬A&¬B&¬C&¬(C∨A)∧A(C∨A)∧A(C∨A)∧A ¬A&¬B&¬C&¬C∧AC∧AC∧A ¬A&¬B&&¬C
¬((¬A∨¬B)& ¬(C∨C∧¬B))¬A∧BA∧BA∧B& ¬¬C∨B¬C∨B¬C∨B ¬A∨¬B¬A∨¬B¬A∨¬B& (C&¬B)
¬((A∨¬B)& ¬(¬A∨C))¬A∨¬BA∨¬BA∨¬B& (A&¬C)(¬A& B)& (A&¬C)False
C∧A∨BA∨BA∨B∨¬B∨¬CB∨¬CB∨¬C C∧A∨BA∨BA∨B∨¬B∧C¬B∧C¬B∧C C∧AC∧AC∧A∨C∧BC∧BC∧B∨¬B∧C¬B∧C¬B∧C B∧CB∧CB∧C∨C∧AC∧AC∧A
¬C∧(A∨B)∨¬(¬C∧¬A)C∧(A∨B)∨¬(¬C∧¬A)C∧(A∨B)∨¬(¬C∧¬A) ¬C∧(A∨B)∨(C∨A)C∧(A∨B)∨(C∨A)C∧(A∨B)∨(C∨A) ¬C∧(A∨B)C∧(A∨B)C∧(A∨B) ¬C∨¬A∨BA∨BA∨B ¬C∨¬A∧¬B¬A∧¬B¬A∧¬B
¬A&¬B&¬C&¬(C∨A)∧A(C∨A)∧A(C∨A)∧A ¬A&¬B&¬C&¬C∧AC∧AC∧A ¬A&¬B&&¬C
¬((¬A∨¬B)& ¬(C∨C∧¬B))
¬A∧BA∧BA∧B& ¬¬C∨B¬C∨B¬C∨B ¬A∨¬B¬A∨¬B¬A∨¬B& (C&¬B)
¬((A∨¬B)& ¬(¬A∨C))
¬A∨¬BA∨¬BA∨¬B& (A&¬C)
(¬A& B)& (A&¬C)
False
C∧A∨BA∨BA∨B∨¬B∨¬CB∨¬CB∨¬C C∧A∨BA∨BA∨B∨¬B∧C¬B∧C¬B∧C C∧AC∧AC∧A∨C∧BC∧BC∧B∨¬B∧C¬B∧C¬B∧C B∧CB∧CB∧C∨C∧AC∧AC∧A
¬C∧(A∨B)∨¬(¬C∧¬A)C∧(A∨B)∨¬(¬C∧¬A)C∧(A∨B)∨¬(¬C∧¬A) ¬C∧(A∨B)∨(C∨A)C∧(A∨B)∨(C∨A)C∧(A∨B)∨(C∨A) ¬C∧(A∨B)C∧(A∨B)C∧(A∨B) ¬C∨¬A∨BA∨BA∨B ¬C∨¬A∧¬B¬A∧¬B¬A∧¬B