12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 16:32, 30 May 2008
, 16:32, 30 May 2008→Table 1 : Variant 1: finish up table
{| align="center"
{| align="center"
|-
|-
|
| height="36px" | <p><math>0\!</math></p>
|-
|-
|
| height="36px" | <p><math>\lnot x \land \lnot y</math></p>
|-
|-
|
| height="36px" | <p><math>\lnot x \land y</math></p>
|-
|-
|
| height="36px" | <p><math>\lnot x</math></p>
|-
|-
|
| height="36px" | <p><math>x \land \lnot y</math></p>
|-
|-
|
| height="36px" | <p><math>\lnot y</math></p>
|-
|-
|
| height="36px" | <p><math>x \ne y</math></p>
|-
|-
|
| height="36px" | <p><math>\lnot x \lor \lnot y</math></p>
|}
|}
|-
|-
{| align="center"
{| align="center"
|-
|-
|
| height="36px" | <p><math>x \land y</math></p>
|-
|-
|
| height="36px" | <p><math>x = y\!</math></p>
|-
|-
|
| height="36px" | <p><math>y\!</math></p>
|-
|-
|
| height="36px" | <p><math>x \Rightarrow y</math></p>
|-
|-
|
| height="36px" | <p><math>x\!</math></p>
|-
|-
|
| height="36px" | <p><math>x \Leftarrow y</math></p>
|-
|-
|
| height="36px" | <p><math>x \lor y</math></p>
|-
|-
|
| height="36px" | <p><math>\operatorname{true}</math></p>
|}
|}
|}
|}