curioustorvald/Terrarum
1
0
Fork 0
mirror of https://github.com/curioustorvald/Terrarum.git synced 2026-06-10 02:24:05 +09:00
Code Issues Packages Projects Releases Wiki Activity

more on the verum-nimply logic

Browse Source
This commit is contained in:
minjaesong
2023-11-22 17:08:07 +09:00
parent bcd1b5c0c1
commit a70a247ef1
1 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
work_files/verum-nimply_logic.md
View File

@@ -10,7 +10,7 @@ Verum is a logic-gate modelling of the "Signal Source".
| 1 | | 1 |
### Falsum (⊥) ### Falsum (⊥)
Verum is a logic-gate modelling of the "Lack of Signal" or "No Connection". Falsum is a logic-gate modelling of the "Lack of Signal" or "No Connection".
| Output | | Output |
|----| |----|
| 0 | | 0 |
@@ -47,8 +47,13 @@ This document will use the convention where the Collector is placed on the lefth
= (⊤ ↛ (p ↛ (⊤ ↛ q))) = (⊤ ↛ (p ↛ (⊤ ↛ q)))
### p OR q ### p OR q
= NOT ( NOT(p) AND NOT(q) ) Method 1:
= NOT ( (⊤ ↛ p) AND (⊤ ↛ q) ) = NOT (NOT(p) AND NOT(q))
= NOT ( ( (⊤ ↛ p) ↛ (⊤ ↛ (⊤ ↛ p)) ) ) = NOT ((⊤ ↛ p) AND (⊤ ↛ q))
= (⊤ ↛ ( ( (⊤ ↛ p) ↛ (⊤ ↛ (⊤ ↛ p)) ) )) = NOT ((⊤ ↛ p) ↛ (⊤ ↛ (⊤ ↛ q)))
= (⊤ ↛ ((⊤ ↛ p) ↛ (⊤ ↛ (⊤ ↛ q))))
Method 2:
= (NOT p) NAND (NOT q)
= (⊤ ↛ ((NOT p) ↛ (⊤ ↛ (NOT p))))
= (⊤ ↛ ((⊤ ↛ p) ↛ (⊤ ↛ (⊤ ↛ q))))
Note: For the most cases, an OR gate can be substituted using merging wires and diodes. Note: For the most cases, an OR gate can be substituted using merging wires and diodes.