demorgans-law

1热度

3回答

问题是：假设p,q和r是布尔变量。请看下面的表达式： !(p && !q || r) Which of the following expressions is equivalent to the given expression? A. (p && r) || (!q && r) B. (!p && !q) || (!p && r) C. (!p || q) && !r D. (!p

0热度

1回答

证明两个方程与Demorgans相同

我试图用Demorgans /其他基本定律证明这两个方程是相等的。我已经完成了布尔逻辑并且遇到了麻烦，这已经有一段时间了。任何人都可以帮我解决吗？ E = ((A·B) + (A·C) + (B·C)) ·-(A·B·C) E = (A·B·-C) + (A·-B·C) + (-A·B·C) 使用上的第一个Demorgans后，我得到.. E = ((A·B) + (A·C) + (B·C)

0热度

2回答

Ruby if语句多个条件不等

我不明白为什么多个if语句条件与不等于不起作用。在irb 2.3.0 :009 > H = Hash["a" => 100, "b" => 200, "c" => 1000, "d" => 2000] => {"a"=>100, "b"=>200, "c"=>1000, "d"=>2000} 2.3.0 :011 > H.each do |key, v| 2.3.0 :012 > if (

3热度

1回答

在数学公式中替换参数的错误

我在用数学公式替换参数的递归方面存在一些问题。我使用在数学公式中替换参数的谓词。 replace(Term,Term,With,With) :- !. replace(Term,Find,Replacement,Result) :- Term =.. [Functor|Args], replace_args(Args,Find,Replacement,Replac

1热度

2回答

布尔逻辑：德摩根定理，与非门

我想建立一个电路为我的布尔公式的以下部分： (!A + !B + !C(!D + !E) 扩大这一点，我们当然得： (!A + !B + !C!d + !C!E) 随着德摩根定理，我想我们可以将其降低到 (ABCDCE)! 其中我虽然可以减少到： ABCDE，因为A * A = A。但是，当我将A B C D E放入NAND门时，我没有得到所需的结果。为什么是这样？我的逻辑在哪里出了

0热度

1回答

与非门与反相输入

如果我拿表达： (A + B + C + D + E) 并利用德·摩根定律将其转化为： (!A!B!C!D!E)! 我将不得不反转每一位穿上前进入与非门？有一种更简单的方法吗？编辑：没有捷径。你必须做（！！A！B！C！D！E）！

1热度

1回答

德·摩根定律优化不起作用

我有布尔表达式，它是用卡诺的地图（第一行）简化。然后我用德摩根定律使表达式适合于只使用与非门（第二行）。但是，当我创建一个逻辑门电路不正常工作，无论我多么期待在这条赛道，我不能看到我犯了一个错误。抱歉在图片中张贴表达，我不知道如何将这个表达从纸张传输到计算机。

24热度

6回答

德摩根法Pythonic？

以下哪项是Pythonic？ if not a and not b: do_something OR if not (a or b): do something 它不是谓词逻辑，所以我应该使用，因为它更具有可读性权Python的关键词？在后面的解决方案比其他更优化？（我不这么认为）有没有PEP-8指南？这两种方法的字节代码（如果它的事项）： In [43]: d

1热度

1回答

如何将Morgan定律应用于解析的字符串？（转换字符串或与解析操作）

我想做一个程序，评估命题逻辑公式是否有效或无效使用语义三方法。我设法评估如果一个公式以及形成或不那么远：acording到Monrgan定律，摩根定律的BNF from pyparsing import * from string import lowercase def fbf(): atom = Word(lowercase, max=1) #alfabeto minusc

2热度

1回答

德摩根法律实施中的Haskell点（。）算子

在this question中，作者在Haskell中编写了de Morgan原则的实现。我理解的notAandnotB，并notAornotB的实现，但我努力理解的notAorB执行当中是： notAorB :: (Either a b -> c) -> (a -> c, b -> c) notAorB f = (f . Left, f . Right) 有人能解释如何(f . Left,