Don't Booley me

Logic Level 2

((b¬c)[(¬ab)a(¬bc)])¬a(ac)\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,ca,b,c?

×

Problem Loading...

Note Loading...

Set Loading...