a TRUE
| ( ~ A ∧ C) ∨ (A ∧ C) | Beginning | |
| C ∧ ( ~ A ∨ A) | Distributive | |
| C ∧ T | Complement | |
 | C | Conclusion |
A
AAA
C
CCC
T
True
0
Truth check table
| Case | A | C | T | ( ~ A ∧ C) ∨ (A ∧ C) | C ∧ ( ~ A ∨ A) | C ∧ T |
|---|---|---|---|---|---|---|
| 1 | T | T | T | T | T | T |
| 2 | T | T | F | T | T | F |
| 3 | T | F | T | F | F | F |
| 4 | T | F | F | F | F | F |
| 5 | F | T | T | T | T | T |
| 6 | F | T | F | T | T | F |
| 7 | F | F | T | F | F | F |
| 8 | F | F | F | F | F | F |
Public: Yes;
Show truth table: Yes;