任何公式都能等值地化成{V, ∧}中的公式吗
发布网友
发布时间：2023-07-08 12:00
共1个回答
热心网友
时间：2024-10-23 07:31
任何公式都存在与之等值的主析取范式和主合取范式，并且唯一。一个公式的主析取范式中的每个极小项，都是该公式的成真赋值。一个公式的主合取范式中的每个极大项，都是该公式的成假赋值。因此，我们可以通过求取公式的主范式，判断两个公式是否等值。
