Changes

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>f_0</math> || 0000 || ( )

+

| <math>f_0</math> || 0000 || <math>(~)</math>

| 0 || 1 || 0 || 1 || 0 || 1 || 0 || 1

|-

−

| <math>f_1</math> || 0001 || (x)(y)

+

| <math>f_1</math> || 0001 || <math>(x)(y)\!</math>

| || || 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>

| || || || || 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>

| || || || || || || || 

| 1 || 1 || 1 || 1 || 1 || 1 || 1 || 1

| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0

|-

−

| <math>f_4</math> || 0100 || x (y)

+

| <math>f_4</math> || 0100 || <math>x (y)\!</math>

| || || || || || || || 

| 1 || 1 || 1 || 1 || 1 || 1 || 1 || 1

|-

−

| <math>f_5</math> || 0101 || (y)

+

| <math>f_5</math> || 0101 || <math>(y)\!</math>

| || || || || || || || 

|-

−

| <math>f_6</math> || 0110 || (x, y)

+

| <math>f_6</math> || 0110 || <math>(x, y)\!</math>

| || || || || || || || 

|-

−

| <math>f_7</math> || 0111 || (x y)

+

| <math>f_7</math> || 0111 || <math>(x y)\!</math>

| || || || || || || || 

|-

−

| <math>f_8</math> || 1000 || x y

+

| <math>f_8</math> || 1000 || <math>x y\!</math>

| || || || || || || || 

|-

−

| <math>f_9</math> || 1001 || ((x, y))

+

| <math>f_9</math> || 1001 || <math>((x, y))\!</math>

| || || || || || || || 

|-

−

| <math>f_{10}</math> || 1010 || y

+

| <math>f_{10}</math> || 1010 || <math>y\!</math>

| || || || || || || || 

|-

−

| <math>f_{11}</math> || 1011 || (x (y))

+

| <math>f_{11}</math> || 1011 || <math>(x (y))\!</math>

| || || || || || || || 

|-

−

| <math>f_{12}</math> || 1100 || x

+

| <math>f_{12}</math> || 1100 || <math>x\!</math>

| || || || || || || || 

|-

−

| <math>f_{13}</math> || 1101 || ((x) y)

+

| <math>f_{13}</math> || 1101 || <math>((x) y)\!</math>

| || || || || || || || 

|-

−

| <math>f_{14}</math> || 1110 || ((x)(y))

+

| <math>f_{14}</math> || 1110 || <math>((x)(y))\!</math>

| || || || || || || || 

|-

−

| <math>f_{15}</math> || 1111 || (( ))

+

| <math>f_{15}</math> || 1111 || <math>((~))\!</math>

| || || || || || || || 

Jon Awbrey

12,140

edits