New user? Sign up
Existing user? Log in
((b∨¬c)∧[(¬a∧b)∨a∨(¬b∧c)])∨¬a∨(a∧c)\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)((b∨¬c)∧[(¬a∧b)∨a∨(¬b∧c)])∨¬a∨(a∧c)
Is the above statement true for all propositions a,b,ca,b,ca,b,c?
Problem Loading...
Note Loading...
Set Loading...
