Forgot password? New user? Sign up

Existing user? Log in

$\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$?

Problem Loading...

Note Loading...

Set Loading...