12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday January 10, 2025
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 16:36, 29 May 2008
, 16:36, 29 May 2008→Work Area 3: HTML --> TeX
| 0 0 0 0
| 0 0 0 0
| <math>(~)\!</math>
| <math>(~)\!</math>
| false
| <math>\operatorname{false}</math>
| <math>0\!</math>
| <math>0\!</math>
|-
|-
| 0 0 0 1
| 0 0 0 1
| <math>(x)(y)\!</math>
| <math>(x)(y)\!</math>
| neither x nor y
| <math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math>
| <math>\lnot x \land \lnot y\!</math>
| <math>\lnot x \land \lnot y\!</math>
|-
|-
| 0 0 1 0
| 0 0 1 0
| <math>(x)\ y\!</math>
| <math>(x)\ y\!</math>
| y and not x
| <math>y\ \operatorname{without}\ x</math>
| <math>\lnot x \land y\!</math>
| <math>\lnot x \land y\!</math>
|-
|-
| 0 0 1 1
| 0 0 1 1
| <math>(x)\!</math>
| <math>(x)\!</math>
| not x
| <math>\operatorname{not}\ x</math>
| <math>\lnot x\!</math>
| <math>\lnot x\!</math>
|-
|-
| 0 1 0 0
| 0 1 0 0
| <math>x\ (y)\!</math>
| <math>x\ (y)\!</math>
| x and not y
| <math>x\ \operatorname{without}\ y</math>
| <math>x \land \lnot y\!</math>
| <math>x \land \lnot y\!</math>
|-
|-
| 0 1 0 1
| 0 1 0 1
| <math>(y)\!</math>
| <math>(y)\!</math>
| not y
| <math>\operatorname{not}\ y</math>
| <math>\lnot y\!</math>
| <math>\lnot y\!</math>
|-
|-
| 0 1 1 0
| 0 1 1 0
| <math>(x,\ y)\!</math>
| <math>(x,\ y)\!</math>
| x not equal to y
| <math>x\ \operatorname{not~equal~to}\ y</math>
| <math>x \ne y\!</math>
| <math>x \ne y\!</math>
|-
|-
| 0 1 1 1
| 0 1 1 1
| <math>(x\ y)\!</math>
| <math>(x\ y)\!</math>
| not both x and y
| <math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math>
| <math>\lnot x \lor \lnot y\!</math>
| <math>\lnot x \lor \lnot y\!</math>
|-
|-
| 1 0 0 0
| 1 0 0 0
| <math>x\ y\!</math>
| <math>x\ y\!</math>
| x and y
| <math>x\ \operatorname{and}\ y</math>
| <math>x \land y\!</math>
| <math>x \land y\!</math>
|-
|-
| 1 0 0 1
| 1 0 0 1
| <math>((x,\ y))\!</math>
| <math>((x,\ y))\!</math>
| x equal to y
| <math>x\ \operatorname{equal~to}\ y</math>
| <math>x = y\!</math>
| <math>x = y\!</math>
|-
|-
| 1 0 1 0
| 1 0 1 0
| <math>y\!</math>
| <math>y\!</math>
| y
| <math>y\!</math>
| <math>y\!</math>
| <math>y\!</math>
|-
|-
| 1 0 1 1
| 1 0 1 1
| <math>(x\ (y))\!</math>
| <math>(x\ (y))\!</math>
| not x without y
| <math>\operatorname{not}\ x\ \operatorname{without}\ y</math>
| <math>x \Rightarrow y\!</math>
| <math>x \Rightarrow y\!</math>
|-
|-
| 1 1 0 0
| 1 1 0 0
| <math>x\!</math>
| <math>x\!</math>
| x
| <math>x\!</math>
| <math>x\!</math>
| <math>x\!</math>
|-
|-
| 1 1 0 1
| 1 1 0 1
| <math>((x)\ y)\!</math>
| <math>((x)\ y)\!</math>
| not y without x
| <math>\operatorname{not}\ y\ \operatorname{without}\ x</math>
| <math>x \Leftarrow y\!</math>
| <math>x \Leftarrow y\!</math>
|-
|-
| 1 1 1 0
| 1 1 1 0
| <math>((x)(y))\!</math>
| <math>((x)(y))\!</math>
| x or y
| <math>x\ \operatorname{or}\ y</math>
| <math>x \lor y\!</math>
| <math>x \lor y\!</math>
|-
|-
| 1 1 1 1
| 1 1 1 1
| <math>((~))\!</math>
| <math>((~))\!</math>
| true
| <math>\operatorname{true}</math>
| <math>1\!</math>
| <math>1\!</math>
|}
|}
