Difference between revisions of "User:Jon Awbrey/GRAPHICS"
MyWikiBiz, Author Your Legacy — Monday December 02, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) |
Jon Awbrey (talk | contribs) |
||
| Line 1: | Line 1: | ||
==Differential Logic== | ==Differential Logic== | ||
| − | {| align="center" cellspacing=" | + | {| align="center" cellspacing="10" style="text-align:center" |
| | | | ||
<pre> | <pre> | ||
| Line 31: | Line 31: | ||
|} | |} | ||
| − | {| align="center" cellspacing=" | + | {| align="center" cellspacing="10" style="text-align:center" |
| [[Image:Venn Diagram P And Q.jpg|500px]] | | [[Image:Venn Diagram P And Q.jpg|500px]] | ||
|- | |- | ||
| Line 37: | Line 37: | ||
|} | |} | ||
| − | {| align="center" cellspacing=" | + | {| align="center" cellspacing="10" style="text-align:center" |
| | | | ||
<pre> | <pre> | ||
| Line 81: | Line 81: | ||
|} | |} | ||
| − | {| align="center" cellspacing=" | + | {| align="center" cellspacing="10" style="text-align:center" |
| | | | ||
<pre> | <pre> | ||
Revision as of 02:54, 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 |
