python - 如何将 DNF 表达式再次转换为正常的布尔表达式
问题描述
我有 DNF 公式，就像"(a0 & a4) | (a1 & a4) | (a2 & a5) | (a4 & a5) | (a0 & a2 & a3) | (a1 & a2 & a3)"我希望它再次转换为简化形式一样，就像在转换为 DNF 之前一样->"a2 & a1 & a3 | a2 & a5 | a2 & a0 & a3 | a4 & a1 | a4 & a5 | a4 & a0"
我尝试了一些 sympy 的功能。
解决方案
推荐阅读
- python - 从 python 脚本中删除文件
- java - 如何在 Android Studio 的导航组件中使用横向？
- java - Java 8 列表
进入地图 - codenameone - 应用名称显示两次从 icloud 下载
- python - 在烧瓶中的路线和主要之间使用共享变量
- java - Jacoco 报告显示已删除的用于测试覆盖的 java 类
- python - 如何在 Django 模板中显示所有外键属性？
- javascript - 流程：无法将 _ 分配给 _，因为 _ 中缺少属性 _
- select - 安排一个异步事件，当标准输入在 boost::asio 中有等待数据时将完成？
- python - 正方体未转换某些图像