-逻辑布尔 问答列表

查找仅具有 AND、OR 和 NOT 门的布尔电路

作者:Kaka Pin 提问时间:1/19/2018

我正在尝试找到一个带有 AND、OR 和 NOT 门的布尔电路,只是为了计算 ¬((A → ¬B) ∧ (C → A)) 的布尔函数。我的尝试是: 我在两个关节上放箭头的地方(我相信“→或暗示”在函...

求解命题逻辑/布尔表达式的工具(SAT求解器?

作者:Olaf_SQL 提问时间:11/19/2017

我是命题逻辑和布尔表达式的新手。所以这就是我需要帮助的原因。这是我的问题: 在汽车行业,当您购买汽车时,有数千种不同的组件可供选择。不是每个组件都是可组合的,所以对于每辆车来说,都存在许多用命题逻辑...


共2条 当前第1页