1) A /\ (B \/ ¬B)1) A
2) (¬X /\ ¬Y) /\ (X /\ ¬Y)2) False
3) (¬X /\ Y) \/ ¬(X \/ Y) \/ X3) (¬X /\ Y) \/ (¬X /\ ¬Y) \/ X3) ¬X /\ (Y \/ ¬Y) \/ X3) ¬X \/ X3) True
4) (¬B /\ A) \/ (B /\ A) \/ (¬B /\ ¬A)4) A
5) (B /\ C) \/ (A /\ ¬C) \/ (¬A /\ C) \/ (¬C /\ A)5) B /\ C \/ A /\ ¬C \/ ¬A /\ C \/ ¬C /\ A5) B /\ C
6) (A \/ ¬B /\ ¬C) /\ (B \/ ¬C \/ A)6) (A \/ (B /\ C)) /\ (B \/ ¬C \/ A)6) (A \/ B /\ C) /\ (B \/ ¬C \/ A)6) B
1) A /\ (B \/ ¬B)
1) A
2) (¬X /\ ¬Y) /\ (X /\ ¬Y)
2) False
3) (¬X /\ Y) \/ ¬(X \/ Y) \/ X
3) (¬X /\ Y) \/ (¬X /\ ¬Y) \/ X
3) ¬X /\ (Y \/ ¬Y) \/ X
3) ¬X \/ X
3) True
4) (¬B /\ A) \/ (B /\ A) \/ (¬B /\ ¬A)
4) A
5) (B /\ C) \/ (A /\ ¬C) \/ (¬A /\ C) \/ (¬C /\ A)
5) B /\ C \/ A /\ ¬C \/ ¬A /\ C \/ ¬C /\ A
5) B /\ C
6) (A \/ ¬B /\ ¬C) /\ (B \/ ¬C \/ A)
6) (A \/ (B /\ C)) /\ (B \/ ¬C \/ A)
6) (A \/ B /\ C) /\ (B \/ ¬C \/ A)
6) B