Don't Booley me
Logic
Level
3
\[\left( (b \lor \neg c) \land \left[ (\neg a \land b) \lor a \lor (\neg b \land c) \right] \right) \lor \neg a \lor (a \land c)\]
Is the above statement true for all propositions \(a,b,c\)?
by
Jake Lai