12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 02:46, 29 May 2008
, 02:46, 29 May 2008→Work Area 3: edit table
|+ '''Table 1. Propositional Forms on Two Variables'''
|+ '''Table 1. Propositional Forms on Two Variables'''
|- style="background:paleturquoise"
|- style="background:paleturquoise"
|
| align="right" | <math>x\!</math> :
| align="right" | <math>x\!</math> :
| 1 1 0 0
| 1 1 0 0
|
|
|- style="background:paleturquoise"
|- style="background:paleturquoise"
|
| align="right" | <math>y\!</math> :
| align="right" | <math>y\!</math> :
| 1 0 1 0
| 1 0 1 0
|
|
|-
|-
| g<sub>0</sub>
| f<sub>0</sub>
| f<sub>0000</sub>
| 0 0 0 0
| 0 0 0 0
| ( )
| ( )
{| style="background:lightcyan"
{| style="background:lightcyan"
|
|
f<sub>1</sub><br>
f<sub>2</sub><br>
f<sub>4</sub><br>
f<sub>8</sub>
|}
|
{| style="background:lightcyan"
|
f<sub>0001</sub><br>
f<sub>0010</sub><br>
f<sub>0100</sub><br>
f<sub>1000</sub>
|}
|}
|
|
{| style="background:lightcyan"
{| style="background:lightcyan"
|
|
f<sub>3</sub><br>
f<sub>12</sub>
|}
|
{| style="background:lightcyan"
|
f<sub>0011</sub><br>
f<sub>1100</sub>
|}
|}
|
|
{| style="background:lightcyan"
{| style="background:lightcyan"
|
|
f<sub>6</sub><br>
f<sub>9</sub>
|}
|
{| style="background:lightcyan"
|
f<sub>0110</sub><br>
f<sub>1001</sub>
|}
|}
|
|
{| style="background:lightcyan"
{| style="background:lightcyan"
|
|
f<sub>5</sub><br>
f<sub>10</sub>
|}
|
{| style="background:lightcyan"
|
f<sub>0101</sub><br>
f<sub>1010</sub>
|}
|}
|
|
{| style="background:lightcyan"
{| style="background:lightcyan"
|
|
f<sub>7</sub><br>
f<sub>11</sub><br>
f<sub>13</sub><br>
f<sub>14</sub>
|}
|
{| style="background:lightcyan"
|
f<sub>0111</sub><br>
f<sub>1011</sub><br>
f<sub>1101</sub><br>
f<sub>1110</sub>
|}
|}
|
|
|}
|}
|-
|-
| g<sub>15</sub>
| f<sub>15</sub>
| f<sub>1111</sub>
| 1 1 1 1
| 1 1 1 1
| (( ))
| (( ))