12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems (view source)
Revision as of 18:12, 30 May 2007
, 18:12, 30 May 2007→Thematization : Truth Tables: compress 1 column
|
|
{| style="background:paleturquoise"
{| style="background:paleturquoise"
| 1 1 0 0
| 1100
|-
|-
| 1 0 1 0
| 1010
|}
|}
|
|
|
|
{| cellpadding="2" style="background:lightcyan"
{| cellpadding="2" style="background:lightcyan"
| 0 0 0 0
| 0000
|-
|-
| 0 0 0 1
| 0001
|-
|-
| 0 0 1 0
| 0010
|-
|-
| 0 0 1 1
| 0011
|-
|-
| 0 1 0 0
| 0100
|-
|-
| 0 1 0 1
| 0101
|-
|-
| 0 1 1 0
| 0110
|-
|-
| 0 1 1 1
| 0111
|}
|}
|
|
|
|
{| align="left" cellpadding="2" style="background:lightcyan; text-align:left"
{| align="left" cellpadding="2" style="background:lightcyan; text-align:left"
| f + 1
| f + 1
|-
|-
| f + u + v + uv
| f + u + v + uv
|-
|-
| f + v + uv + 1
| f + v + uv + 1
|-
|-
| f + u
| f + u
|-
|-
| f + u + uv + 1
| f + u + uv + 1
|-
|-
| f + v
| f + v
|-
|-
| f + u + v + 1
| f + u + v + 1
|-
|-
| f + uv
| f + uv
|}
|}
|-
|-
|
|
{| cellpadding="2" style="background:lightcyan"
{| cellpadding="2" style="background:lightcyan"
| 1 0 0 0
| 1000
|-
|-
| 1 0 0 1
| 1001
|-
|-
| 1 0 1 0
| 1010
|-
|-
| 1 0 1 1
| 1011
|-
|-
| 1 1 0 0
| 1100
|-
|-
| 1 1 0 1
| 1101
|-
|-
| 1 1 1 0
| 1110
|-
|-
| 1 1 1 1
| 1111
|}
|}
|
|
|
|
{| align="left" cellpadding="2" style="background:lightcyan; text-align:left"
{| align="left" cellpadding="2" style="background:lightcyan; text-align:left"
| f + uv + 1
| f + uv + 1
|-
|-
| f + u + v
| f + u + v
|-
|-
| f + v + 1
| f + v + 1
|-
|-
| f + u + uv
| f + u + uv
|-
|-
| f + u + 1
| f + u + 1
|-
|-
| f + v + uv
| f + v + uv
|-
|-
| f + u + v + uv + 1
| f + u + v + uv + 1
|-
|-
| f
| f
|}
|}
|}
|}