Changes

MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)

Revision as of 14:26, 20 November 2008

233 bytes added ,  14:26, 20 November 2008
no edit summary
Line 263: Line 263:  
| <math>m_{23}</math>
 
| <math>m_{23}</math>
 
|-
 
|-
−
| <math>f_0</math> || 0000 || ( )
+
| <math>f_0</math> || 0000 || <math>(~)</math>
 
| 0    || 1    || 0    || 1    || 0    || 1    || 0    || 1
 
| 0    || 1    || 0    || 1    || 0    || 1    || 0    || 1
 
| 0    || 1    || 0    || 1    || 0    || 1    || 0    || 1
 
| 0    || 1    || 0    || 1    || 0    || 1    || 0    || 1
 
| 0    || 1    || 0    || 1    || 0    || 1    || 0    || 1
 
| 0    || 1    || 0    || 1    || 0    || 1    || 0    || 1
 
|-
 
|-
−
| <math>f_1</math> || 0001 || (x)(y)
+
| <math>f_1</math> || 0001 || <math>(x)(y)\!</math>
 
|&nbsp;||&nbsp;|| 1    || 1    || 0    || 0    || 1    || 1
 
|&nbsp;||&nbsp;|| 1    || 1    || 0    || 0    || 1    || 1
 
| 0    || 0    || 1    || 1    || 0    || 0    || 1    || 1
 
| 0    || 0    || 1    || 1    || 0    || 0    || 1    || 1
 
| 0    || 0    || 1    || 1    || 0    || 0    || 1    || 1
 
| 0    || 0    || 1    || 1    || 0    || 0    || 1    || 1
 
|-
 
|-
−
| <math>f_2</math> || 0010 || (x) y  
+
| <math>f_2</math> || 0010 || <math>(x) y\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1    || 1    || 1
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;|| 1    || 1    || 1    || 1
 
| 0    || 0    || 0    || 0    || 1    || 1    || 1    || 1
 
| 0    || 0    || 0    || 0    || 1    || 1    || 1    || 1
 
| 0    || 0    || 0    || 0    || 1    || 1    || 1    || 1
 
| 0    || 0    || 0    || 0    || 1    || 1    || 1    || 1
 
|-
 
|-
−
| <math>f_3</math> || 0011 || (x)  
+
| <math>f_3</math> || 0011 || <math>(x)\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
| 1    || 1    || 1    || 1    || 1    || 1    || 1    || 1
 
| 1    || 1    || 1    || 1    || 1    || 1    || 1    || 1
 
| 0    || 0    || 0    || 0    || 0    || 0    || 0    || 0
 
| 0    || 0    || 0    || 0    || 0    || 0    || 0    || 0
 
|-
 
|-
−
| <math>f_4</math> || 0100 || x (y)
+
| <math>f_4</math> || 0100 || <math>x (y)\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
| 1    || 1    || 1    || 1    || 1    || 1    || 1    || 1
 
| 1    || 1    || 1    || 1    || 1    || 1    || 1    || 1
 
|-
 
|-
−
| <math>f_5</math> || 0101 || (y)
+
| <math>f_5</math> || 0101 || <math>(y)\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|-
 
|-
−
| <math>f_6</math> || 0110 || (x, y)
+
| <math>f_6</math> || 0110 || <math>(x, y)\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|-
 
|-
−
| <math>f_7</math> || 0111 || (x y)
+
| <math>f_7</math> || 0111 || <math>(x y)\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|-
 
|-
−
| <math>f_8</math> || 1000 || x y  
+
| <math>f_8</math> || 1000 || <math>x y\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|-
 
|-
−
| <math>f_9</math> || 1001 || ((x, y))
+
| <math>f_9</math> || 1001 || <math>((x, y))\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|-
 
|-
−
| <math>f_{10}</math> || 1010 || y
+
| <math>f_{10}</math> || 1010 || <math>y\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|-
 
|-
−
| <math>f_{11}</math> || 1011 || (x (y))
+
| <math>f_{11}</math> || 1011 || <math>(x (y))\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|-
 
|-
−
| <math>f_{12}</math> || 1100 || x
+
| <math>f_{12}</math> || 1100 || <math>x\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|-
 
|-
−
| <math>f_{13}</math> || 1101 || ((x) y)
+
| <math>f_{13}</math> || 1101 || <math>((x) y)\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|-
 
|-
−
| <math>f_{14}</math> || 1110 || ((x)(y))
+
| <math>f_{14}</math> || 1110 || <math>((x)(y))\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|-
 
|-
−
| <math>f_{15}</math> || 1111 || (( ))
+
| <math>f_{15}</math> || 1111 || <math>((~))\!</math>
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
 
|&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;||&nbsp;
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/73527"

Navigation menu