MyWikiBiz, Author Your Legacy — Wednesday November 27, 2024
Jump to navigationJump to search
17 bytes added
, 17:24, 20 May 2007
Line 1: |
Line 1: |
| ---- | | ---- |
− | <font size=4>'''Propositional Equation Reasoning Systems'''</font> | + | <font size=4>'''Propositional Equation Reasoning Systems'''</font><br> |
− | <br> | |
| ---- | | ---- |
| | | |
Line 3,479: |
Line 3,478: |
| | | |
| ===Related concepts and topics=== | | ===Related concepts and topics=== |
− | {| | + | |
− | | valign=top |
| + | {{col-begin}} |
| + | {{col-break}} |
| * [[Ampheck]] | | * [[Ampheck]] |
| * [[Boolean algebra]] | | * [[Boolean algebra]] |
Line 3,490: |
Line 3,490: |
| * [[Entitative graph]] | | * [[Entitative graph]] |
| * [[Existential graph]] | | * [[Existential graph]] |
− | | valign=top |
| + | {{col-break}} |
| * [[Graph (mathematics)|Graph]] | | * [[Graph (mathematics)|Graph]] |
| * [[Graph theory]] | | * [[Graph theory]] |
Line 3,500: |
Line 3,500: |
| * [[Logical NAND]] | | * [[Logical NAND]] |
| * [[Logical NNOR]] | | * [[Logical NNOR]] |
− | | valign=top |
| + | {{col-break}} |
| * [[Minimal negation operator]] | | * [[Minimal negation operator]] |
| * [[Multigrade operator]] | | * [[Multigrade operator]] |
Line 3,510: |
Line 3,510: |
| * [[Truth table]] | | * [[Truth table]] |
| * [[Zeroth order logic]] | | * [[Zeroth order logic]] |
− | |}
| + | {{col-end}} |
| | | |
| ==External links== | | ==External links== |