我需要使用 sat 求解器来检查布尔表达式的可满足性..
我有这样的复杂布尔表达式
是否有任何自动 cnf 文件转换器,以便我可以直接将其提供给 sat 求解器?
我读了 cnf 格式文件.. 但是如何在 .cnf 文件中表达这个表达式?当括号内有连词以及如何表达 --> 和 <-> 时,我会感到困惑?请帮我
我需要使用 sat 求解器来检查布尔表达式的可满足性..
我有这样的复杂布尔表达式
是否有任何自动 cnf 文件转换器,以便我可以直接将其提供给 sat 求解器?
我读了 cnf 格式文件.. 但是如何在 .cnf 文件中表达这个表达式?当括号内有连词以及如何表达 --> 和 <-> 时,我会感到困惑?请帮我