Add content

1 files changed, 17 insertions, 0 deletions

diff --git a/content/zettel/3a8g5h3.md b/content/zettel/3a8g5h3.md
new file mode 100644
index 0000000..73576e5
--- /dev/null
+++ b/content/zettel/3a8g5h3.md
@@ -0,0 +1,17 @@
++++
+title = "Third possible solution: Tri-state logic"
+author = "Yann Herklotz"
+tags = []
+categories = []
+backlinks = ["3a8g5h2", "3a8g5g1"]
+forwardlinks = ["3a8g5h4"]
+zettelid = "3a8g5h3"
++++
+
+Tri-state logic is also an interesting solution and it goes back to what
+we had initially thought about implementing, however, the problem with
+that is again the SAT solver, as we want to be able to assume that we do
+get an answer out of it. However, maybe it's possible to use the SAT
+solver natively on 3-state logic. We would then be able to construct the
+evaluation rules for our gates so that they follow the correctness
+property that we are hoping for.