100078F

非常好，竟然是有思维的模拟题。换句话讲就是有模拟的思维题 题意：给定一个由与或非组成的逻辑表达式，你需要把他化简成一个变量不重复的与或非逻辑表达式或报告无解。 发现如果允许变量重复了，这个逻辑表达式没有什么性质，任何一种真值表都可以通过合适的构造得来。所以题目相当于直接告诉我们一个真值表。 变量重复 ......