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

Question

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

我在考虑可能“扩大”到新的输入第三个条件。有可能吗？

即：

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

Answer 1

使用布尔代数的公理建立卡诺图，即互补变量如何抵消x+x' = 1和xx' = 0。因此，除非你用这些公理来定义你的第三个变量，否则我认为卡诺图不会起作用。