12,080
edits
Changes
User:Jon Awbrey/TABLE (view source)
Revision as of 15:15, 13 December 2008
, 15:15, 13 December 2008→Table 1: copy old table
===Table 1===
===Table 1===
{| align="center" border="1" cellpadding="0" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
|+ '''Table 1. Higher Order Propositions (''n'' = 2)'''
|- style="background:ghostwhite"
| align="right" | <math>x:</math><br><math>y:</math>
| 1100<br>1010
| <math>f\!</math>
| <math>m_0</math>
| <math>m_1</math>
| <math>m_2</math>
| <math>m_3</math>
| <math>m_4</math>
| <math>m_5</math>
| <math>m_6</math>
| <math>m_7</math>
| <math>m_8</math>
| <math>m_9</math>
| <math>m_{10}</math>
| <math>m_{11}</math>
| <math>m_{12}</math>
| <math>m_{13}</math>
| <math>m_{14}</math>
| <math>m_{15}</math>
| <math>m_{16}</math>
| <math>m_{17}</math>
| <math>m_{18}</math>
| <math>m_{19}</math>
| <math>m_{20}</math>
| <math>m_{21}</math>
| <math>m_{22}</math>
| <math>m_{23}</math>
|-
| <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
|-
| <math>f_1</math> || 0001 || <math>(x)(y)\!</math>
| || || 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 || <math>(x) y\!</math>
| || || || || 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 || <math>(x)\!</math>
| || || || || || || ||
| 1 || 1 || 1 || 1 || 1 || 1 || 1 || 1
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| <math>f_4</math> || 0100 || <math>x (y)\!</math>
| || || || || || || ||
| || || || || || || ||
| 1 || 1 || 1 || 1 || 1 || 1 || 1 || 1
|-
| <math>f_5</math> || 0101 || <math>(y)\!</math>
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
|-
| <math>f_6</math> || 0110 || <math>(x, y)\!</math>
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
|-
| <math>f_7</math> || 0111 || <math>(x y)\!</math>
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
|-
| <math>f_8</math> || 1000 || <math>x y\!</math>
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
|-
| <math>f_9</math> || 1001 || <math>((x, y))\!</math>
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
|-
| <math>f_{10}</math> || 1010 || <math>y\!</math>
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
|-
| <math>f_{11}</math> || 1011 || <math>(x (y))\!</math>
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
|-
| <math>f_{12}</math> || 1100 || <math>x\!</math>
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
|-
| <math>f_{13}</math> || 1101 || <math>((x) y)\!</math>
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
|-
| <math>f_{14}</math> || 1110 || <math>((x)(y))\!</math>
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
|-
| <math>f_{15}</math> || 1111 || <math>((~))\!</math>
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
|}<br>
===Table 2===
===Table 2===