Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:homework01 [2008/02/22 11:44] vkuncak |
sav08:homework01 [2008/02/23 21:18] piskac |
||
---|---|---|---|
Line 90: | Line 90: | ||
\lnot (p \land q) \leftrightarrow (\lnot p) \lor (\lnot q) \\ | \lnot (p \land q) \leftrightarrow (\lnot p) \lor (\lnot q) \\ | ||
p \leftrightarrow \lnot (\lnot p) \\ | p \leftrightarrow \lnot (\lnot p) \\ | ||
- | (p \rightarrow q) \leftrightarrow (p \lor (\lnot q)) \\ | + | (p \rightarrow q) \leftrightarrow ((\lnot p) \lor q) \\ |
\lnot (p \lor q) \leftrightarrow (\lnot p) \land (\lnot q) | \lnot (p \lor q) \leftrightarrow (\lnot p) \land (\lnot q) | ||
\end{array} | \end{array} |