具有三态输入（非布尔值）的卡诺图

Karnaugh Map with tri-state input (non-boolean)

logic
karnaugh-map

有没有办法用三态变量创建表达式的卡诺图？

我在考虑 "expanding" 新输入的第三个条件。可能吗？

即：

T: true
F: false
_: unset

AB Y        AbCd Y
----        ------
__ 0        TTTT 0
__ 0        FTTT 0
__ 0        TTTF 0
__ 0        FTTF 0
_T 1
_F 0
      ???
F_ 1   \
FT 1  --\
FF X  --/
       /
T_ 0
TT X
TF 0

卡诺图是使用布尔代数公理构建的，即互补变量如何抵消 x+x' = 1 和 xx' = 0。所以除非你定义你的第三个变量来很好地处理这些公理，否则我认为卡诺图是行不通的。

具有三态输入（非布尔值）的卡诺图

Karnaugh Map with tri-state input (non-boolean)

logic

karnaugh-map