2 results in Marie's Logic workspace - search across all projects.
-
Question
Create a truth table for a logical expression of the form $((a \operatorname{op1} b) \operatorname{op2}(c \operatorname{op3} d))\operatorname{op4}e $ where each of $a, \;b,\;c,\;d,\;e$ can be one the Boolean variables $p,\;q,\;\neg p,\;\neg q$ and each of $\operatorname{op1},\;\operatorname{op2},\;\operatorname{op3},\;\operatorname{op4}$ one of $\lor,\;\land,\;\to$.
For example: $((q \lor \neg p) \to (p \land \neg q)) \lor \neg q$
-
Question
Asks to determine whether or not 6 statements are propositions or not i.e. we can determine a truth value or not.