反向真值表生成布尔语句？

Question

所以我给出了一些场景，我详尽地生成了可能的事件列表：

A = True, B = True, C = True -> True
A = False, B = False, C = True -> True
... more lists ...

关于合并它们的任何建议，如

( A || B || C )

感谢

Answer 1

使用k-map。

Answer 2

Karnaugh-Map是一个表，其中行和列的排序不是二进制顺序，而是灰色代码顺序。最有可能通过求解k-map可以消除短路和不可屏蔽中断。