12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 04:40, 29 May 2008
, 04:40, 29 May 2008→Variant 2: HTML --> TeX
===Variant 2===
===Variant 2===
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ '''Table 1. Propositional Forms on Two Variables'''
|+ '''Table 1. Propositional Forms on Two Variables'''
|- style="background:paleturquoise"
|- style="background:paleturquoise"
|
|
|-
|-
| f<sub>0</sub>
| <math>f_{0}\!</math>
| f<sub>0000</sub>
| <math>f_{0000}\!</math>
| 0 0 0 0
| 0 0 0 0
| ( )
| ( )
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
<math>f_{1}\!</math><br>
<math>f_{2}\!</math><br>
<math>f_{4}\!</math><br>
<math>f_{8}\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
<math>f_{0001}\!</math><br>
<math>f_{0010}\!</math><br>
<math>f_{0100}\!</math><br>
<math>f_{1000}\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
<math>f_{3}\!</math><br>
<math>f_{12}\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
<math>f_{0011}\!</math><br>
<math>f_{1100}\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
<math>f_{6}\!</math><br>
<math>f_{9}\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
<math>f_{0110}\!</math><br>
<math>f_{1001}\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
<math>f_{5}\!</math><br>
<math>f_{10}\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
<math>f_{0101}\!</math><br>
<math>f_{1010}\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
<math>f_{7}\!</math><br>
<math>f_{11}\!</math><br>
<math>f_{13}\!</math><br>
<math>f_{14}\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
<math>f_{0111}\!</math><br>
<math>f_{1011}\!</math><br>
<math>f_{1101}\!</math><br>
<math>f_{1110}\!</math>
|}
|}
|
|
|}
|}
|-
|-
| f<sub>15</sub>
| <math>f_{15}\!</math>
| f<sub>1111</sub>
| <math>f_{1111}\!</math>
| 1 1 1 1
| 1 1 1 1
| (( ))
| (( ))