- E9
[00K] Dite quali formule sono ben formate, e aggiungete le parentesi per evidenziare l’ordine di precedenza.
\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*}1
EDB — 00K
View
Italian
Authors:
"Mennucci , Andrea C. G."
.
Managing blob in: Multiple languages