12,123
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 16:44, 30 May 2008
, 16:44, 30 May 2008→Work Area 1: onward to table 2
| <math>\mathcal{L}_6</math>
| <math>\mathcal{L}_6</math>
|- style="background:ghostwhite; height:48px"
|- style="background:ghostwhite; height:48px"
|
|
|
|
{| align="right" style="background:ghostwhite; text-align:right"
{| align="right" style="background:ghostwhite; text-align:right"
| 1 0 1 0
| 1 0 1 0
|}
|}
|
|
|
|
|
|
|-
|-
|
|
{| 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>1\!</math></p>
|}
|}
|}
|}