MyWikiBiz, Author Your Legacy — Saturday September 06, 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> |
| + | |} |