我想知道在使用 karnaugh 映射和 mccluskey 方法简化表达式时是否应该获得相同的答案。我想确实如此，但我更愿意得到确认。...

我知道 AND 对应于 和 NOT， .什么是元素逻辑 OR 运算符？我知道“或”本身不是我要找的。&~...

我从 Sympy 的逻辑模块中获得了一些布尔表达式的 CNF。 我得到了他们的 Sympy 表达式树（参见文档）。srepr() 在下面找到一个包含两个 CNF 的示例。 from sympy i...

一件商品被多次销售。我存储了结构：id、price、timestamp。我计算在24小时，7天和30天内更换的物品量;所以我需要初始卷和当前卷。我需要为每种情况更改体积的确切定义。7 天交易量变化示例...

下面的代码用于测试 2-SAT 布尔公式（仅包含形式为 X v Y 的子句的公式）的满足性。尽管存在其他算法（相关隐含图的强连接组件，通过SLUR进行文字赋值），但该程序通过递归应用解析来做到这一点，...

我有布尔公式 A 和 B，想检查“A -> B”（A 暗示 B）在多项式时间内是否为真。 对于完全通用的公式 A 和 B，这是 NP 完全的，因为“A -> B”为真“与”不（A -> B）“相同。...

我构建了一个模糊系统，其中包含输入变量（温度和压力）的描述符和输出变量（油门设置）的 5 个描述符。但是，我遇到了断言错误并且不理解该问题。 代码如下 import numpy as np imp...

我有下一个代码： Date = df_new[['Date']].groupby(['Date']).sum().reset_index() for z in Date['Date']: df_o...

我正在尝试使用 ANTLR 为输入数据 （Map） 执行动态表达式，并使用 stackoverflow 帖子中 @Bart Kiers 的答案，我能够做到这一点。 我尝试在语法中添加 ， ， 条件，...

在 R 的 penPHcure 包中，逻辑回归被设计为时间不变。如何在 penPHcure 包中使逻辑回归时变？ 我正在尝试运行随时间变化的数据，因此由于 penPHcure 中的逻辑回归被设计为时...