- E9
[00K] Tell which formulas are well formed, and add parentheses to highlight the order of precedence.
\begin{eqnarray*} a \land \neg b \land c \land d\\ \neg a \lor b \land c \Rightarrow d\\ a \Rightarrow \neg b \land c \lor d \\ a \land b \lor c \Leftrightarrow \neg c \Rightarrow d\\ a \lor b \neg c \lor d \end{eqnarray*}Solution 1
EDB β 00K
View
English
Authors:
"Mennucci , Andrea C. G."
.
Managing blob in: Multiple languages