Difference between revisions of "User:Jon Awbrey/GRAPHICS"
MyWikiBiz, Author Your Legacy — Monday December 02, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (add user space to work on graphics) |
Jon Awbrey (talk | contribs) |
||
| Line 1: | Line 1: | ||
==Differential Logic== | ==Differential Logic== | ||
| + | {| align="center" cellspacing="6" style="text-align:center" | ||
| + | | | ||
<pre> | <pre> | ||
o-------------------------------------------------o | o-------------------------------------------------o | ||
| Line 27: | Line 29: | ||
Figure 22-a. Conjunction pq : X -> B | Figure 22-a. Conjunction pq : X -> B | ||
</pre> | </pre> | ||
| + | |} | ||
| + | {| align="center" cellspacing="6" style="text-align:center" | ||
| + | | [[Image:Venn Diagram P And Q.jpg|500px]] | ||
| + | |- | ||
| + | | <math>\text{Figure 22-a. Conjunction}~ pq : X \to \mathbb{B}</math> | ||
| + | |} | ||
| + | |||
| + | {| align="center" cellspacing="6" style="text-align:center" | ||
| + | | | ||
<pre> | <pre> | ||
o-------------------------------------------------o | o-------------------------------------------------o | ||
| Line 68: | Line 79: | ||
Figure 22-b. Enlargement E[pq] : EX -> B | Figure 22-b. Enlargement E[pq] : EX -> B | ||
</pre> | </pre> | ||
| + | |} | ||
| + | {| align="center" cellspacing="6" style="text-align:center" | ||
| + | | | ||
<pre> | <pre> | ||
o-------------------------------------------------o | o-------------------------------------------------o | ||
| Line 109: | Line 123: | ||
Figure 22-c. Difference D[pq] : EX -> B | Figure 22-c. Difference D[pq] : EX -> B | ||
</pre> | </pre> | ||
| + | |} | ||
Revision as of 02:50, 16 June 2009
Differential Logic
o-------------------------------------------------o | | | | | o-------------o o-------------o | | / \ / \ | | / o \ | | / /%\ \ | | / /%%%\ \ | | o o%%%%%o o | | | |%%%%%| | | | | P |%%%%%| Q | | | | |%%%%%| | | | o o%%%%%o o | | \ \%%%/ / | | \ \%/ / | | \ o / | | \ / \ / | | o-------------o o-------------o | | | | | o-------------------------------------------------o | f = p q | o-------------------------------------------------o Figure 22-a. Conjunction pq : X -> B |
|
| \(\text{Figure 22-a. Conjunction}~ pq : X \to \mathbb{B}\) |
o-------------------------------------------------o | | | | | o-------------o o-------------o | | / \ / \ | | / P o Q \ | | / /%\ \ | | / /%%%\ \ | | o o.->-.o o | | | p(q)(dp)dq |%\%/%| (p)q dp(dq) | | | | o---------------|->o<-|---------------o | | | | |%%^%%| | | | o o%%|%%o o | | \ \%|%/ / | | \ \|/ / | | \ o / | | \ /|\ / | | o-------------o | o-------------o | | | | | | | | | | | o | | (p)(q) dp dq | | | o-------------------------------------------------o | f = p q | o-------------------------------------------------o | | | Ef = p q (dp)(dq) | | | | + p (q) (dp) dq | | | | + (p) q dp (dq) | | | | + (p)(q) dp dq | | | o-------------------------------------------------o Figure 22-b. Enlargement E[pq] : EX -> B |
o-------------------------------------------------o | | | | | o-------------o o-------------o | | / \ / \ | | / P o Q \ | | / /%\ \ | | / /%%%\ \ | | o o%%%%%o o | | | (dp)dq |%%%%%| dp(dq) | | | | o<--------------|->o<-|-------------->o | | | | |%%^%%| | | | o o%%|%%o o | | \ \%|%/ / | | \ \|/ / | | \ o / | | \ /|\ / | | o-------------o | o-------------o | | | | | | | | v | | o | | dp dq | | | o-------------------------------------------------o | f = p q | o-------------------------------------------------o | | | Df = p q ((dp)(dq)) | | | | + p (q) (dp) dq | | | | + (p) q dp (dq) | | | | + (p)(q) dp dq | | | o-------------------------------------------------o Figure 22-c. Difference D[pq] : EX -> B |
