摘要：题目大意： 多组数据，给你一张真值表，求字典序最小的表达式。（真值表只有3个变量x,y,z） 我们发现答案不会很长，而且我们只有 256 种不同的输入，那么我们就可以打表。 我们怎么打表呢？我们发现答案不会很长，那么我们搜索表达式至len为20位，再加上最优性剪枝。跑个3min就出来了。 （看起来有 阅读全文