判断题 不能用量化等值和真值函项等值来决定做例示的位置。

判断题 存在例示不能在全称例示之前进行。

判断题 针对“逻辑非”的电路图，不遵循逻辑算子“否定”的规则。