A truth table needed?

Logic Level 3

\[ \large \forall a \forall b \forall c \left( \neg{\left[ (\neg{a} \land \neg{b}) \lor (\neg{a}\land c) \lor (b \land c) \right]} \lor (\neg{a} \lor c) \right)\]

Is the above proposition true?

×

Problem Loading...

Note Loading...

Set Loading...