12,080
edits
Changes
User:Jon Awbrey/TABLE (view source)
Revision as of 16:54, 13 December 2008
, 16:54, 13 December 2008redo tables
| ''f<sub>1</sub> || 0001 || (x)(y)
| ''f<sub>1</sub> || 0001 || (x)(y)
| 1 || 1 || 1 || 0 || 1 || 0 || 0 || 0
| 1 || 1 || 1 || 0 || 1 || 0 || 0 || 0
|-
|-
| ''f<sub>2</sub> || 0010 || (x) y
| ''f<sub>2</sub> || 0010 || (x) y
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
| || || || || || || ||
|}<br>
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:white; color:black; font-weight:bold; text-align:center; width:96%"
|+ '''Table 12. Higher Order Propositions (''n'' = 2)'''
|- style="background:ghostwhite"
| align="right" | <math>u:</math><br><math>v:</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
| style="background:white; color:black" | 1
| 0
| style="background:white; color:black" | 1
| 0
| style="background:white; color:black" | 1
| 0
| style="background:white; color:black" | 1
| 0
| style="background:white; color:black" | 1
| 0
| style="background:white; color:black" | 1
| 0
| style="background:white; color:black" | 1
| 0
| style="background:white; color:black" | 1
| 0
| style="background:white; color:black" | 1
| 0
| style="background:white; color:black" | 1
| 0
| style="background:white; color:black" | 1
| 0
| style="background:white; color:black" | 1
|-
| <math>f_1</math>
| 0001
| <math>(u)(v)\!</math>
| 0
| 0
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| 0
| 0
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| 0
| 0
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| 0
| 0
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| 0
| 0
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| 0
| 0
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
|-
| <math>f_2</math>
| 0010
| <math>(u) v\!</math>
| 0
| 0
| 0
| 0
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| 0
| 0
| 0
| 0
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| 0
| 0
| 0
| 0
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
|-
| <math>f_3</math>
| 0011
| <math>(u)\!</math>
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
|-
| <math>f_4</math>
| 0100
| <math>u (v)\!</math>
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
| style="background:white; color:black" | 1
|-
| <math>f_5</math>
| 0101
| <math>(v)\!</math>
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| <math>f_6</math>
| 0110
| <math>(u, v)\!</math>
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| <math>f_7</math>
| 0111
| <math>(u v)\!</math>
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| <math>f_8</math>
| 1000
| <math>u v\!</math>
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| <math>f_9</math>
| 1001
| <math>((u, v))\!</math>
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| <math>f_{10}</math>
| 1010
| <math>v\!</math>
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| <math>f_{11}</math>
| 1011
| <math>(u (v))\!</math>
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| <math>f_{12}</math>
| 1100
| <math>u\!</math>
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| <math>f_{13}</math>
| 1101
| <math>((u) v)\!</math>
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| <math>f_{14}</math>
| 1110
| <math>((u)(v))\!</math>
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| <math>f_{15}</math>
| 1111
| <math>((~))\!</math>
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
| 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|}<br>
|}<br>