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

Question

Is there a way to create a Karnaugh Map of an expression with tri-state variables?

I'm thinking in maybe "expanding" to new inputs third condition. Is it possible?

ie:

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。因此，除非您以与这些公理配合使用的方式定义第三个变量，否则我认为卡诺图不会起作用。