これでもうカルノー図なしで簡単化できる。
BooleanConvert[(!x1 && !x2 && !x3) || (!x1 && x2 && !x3) || (x1 && !x2 && !x3) || (x1 && !x2 && x3) || (x1 && x2 && !x3) ]
and、orはこれでもよい。
BooleanConvert[(!x1 \[And] !x2 \[And] !x3) \[Or] (!x1 \[And] x2 \[And] !x3) \[Or] (x1 \[And] !x2 \[And] !x3) \[Or] (x1 \[And] !x2 \[And] x3) \[Or] (x1 \[And] x2 \[And] !x3)]
notはこれでもよい。
BooleanConvert[(\[Not]x1 \[And] \[Not]x2 \[And] \[Not]x3) \[Or] (\[Not]x1 \[And] x2 \[And] \[Not]x3) \[Or] (x1 \[And] \[Not]x2 \[And] \[Not]x3) \[Or] (x1 \[And] \[Not]x2 \[And] x3) \[Or] (x1 \[And] x2 \[And] \[Not]x3)]
