如何根据真值表反推逻辑表达式 一般我们都是采用公式法或者卡诺图的方法。不过用程序自动化来实现，这两种方法都不合适。在计算逻辑代数里面有个叫做Quine-McCluskey（奎因-麦克拉斯基）算法的，用于化简逻辑公式的，并且它还给出了检查布尔函数是否达到了最小化形式的确定性方法。不过这个算法是NP-完全的，因此... 2023-06-14 真值表逻辑函数逻辑表达式
