+++
title = "Third possible solution: Tri-state logic"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8g5h2", "3a8g5h", "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.