MyWikiBiz, Author Your Legacy — Thursday December 18, 2025
Jump to navigationJump to search
376 bytes added
, 02:50, 16 June 2009
| 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> |
| | + | |} |