MyWikiBiz, Author Your Legacy — Wednesday November 05, 2025
Jump to navigationJump to search
55 bytes added
, 16:36, 13 May 2012
| Line 25: |
Line 25: |
| | <br> | | <br> |
| | | | |
| − | The following equivalents can then be deduced: | + | The following equivalents may then be deduced: |
| | | | |
| − | : <math>\begin{matrix}
| + | {| align="center" cellspacing="10" width="90%" |
| − | p + q & = & (p \land \lnot q) & \lor & (\lnot p \land q) \\ | + | | |
| − | \\ | + | <math>\begin{matrix} |
| − | & = & (p \lor q) & \land & (\lnot p \lor \lnot q) \\ | + | p + q & = & (p \land \lnot q) & \lor & (\lnot p \land q) |
| − | \\ | + | \\[6pt] |
| | + | & = & (p \lor q) & \land & (\lnot p \lor \lnot q) |
| | + | \\[6pt] |
| | & = & (p \lor q) & \land & \lnot (p \land q) | | & = & (p \lor q) & \land & \lnot (p \land q) |
| | \end{matrix}</math> | | \end{matrix}</math> |
| | + | |} |
| | | | |
| | ==Syllabus== | | ==Syllabus== |