MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to search
79 bytes added
, 18:00, 7 May 2009
Line 5,745: |
Line 5,745: |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
| + | (a \,\Leftarrow\, b) \,\Leftarrow\, c & = & a \,\Leftarrow\, b \land c |
| + | \\[8pt] |
| (a >\!\!\!-~ b) >\!\!\!-~ c & = & a >\!\!\!-~ bc | | (a >\!\!\!-~ b) >\!\!\!-~ c & = & a >\!\!\!-~ bc |
| \\[8pt] | | \\[8pt] |