我正在寻找一种自动确定的方法，例如，(a < 12) & (a < 3) & (c >= 4)与(a < 3) & (c >= 4). 我在 Python 中查看了 Matlab 的符号工具箱和 SymPy，但这些显然只能简化纯布尔逻辑（例如，simplify(a & b | b & a) -> ans=(a & b)）
有没有办法使用上述这些符号数学工具？
编辑
正如对@user12750353 的回答的评论中所指出的，我还想简化与布尔 OR 连接的关系系统，例如，((a < 12) & (a < 3) & (c >= 4)) | (a < 1).
所以...我知道有很多文章和内容可以阅读有关如何在只读模式下设置Neo4j的内容.问题是,它似乎对我不起作用.
我在Neo4j 3.0.3中有一个现有的数据库(我不是那个把它放在一起的人,所以我真的不是专家)而且我需要从某种方式开始,只允许读取访问.
我尝试相应地更改neo4j.conf文件(一些消息来源说"read_only = true",其他"dbms.shell.read_only = true")但我仍然可以删除或添加节点和关系......
因此，互联网上有很多关于在 Visual Studio 中禁用 XML 注释警告的问题和操作方法。
但是，我没有得到它们，并且实际上想启用该功能。我正在使用 VS 2017 Enterprise 并为 iOS 和 Android 开发 Xamarin.Forms 应用程序（如果相关）。
多谢！