标签: boolean-logic

AS3/JavaScript if语句逗号而不是&&

这在ActionScript 3和JavaScript中运行.为什么?我知道如何&&||工作,但一个清单?这个AS3具体吗?这是用其他语言吗?我是一个口呼吸的PHP/AS2程序员.或者每个人都已经知道这一点,我是一个不能正确阅读文档的工具?

AS3

if (true, true, true) {
     trace("true?")
}
//result - "true?" traced
Run Code Online (Sandbox Code Playgroud)

JavaScript的

if (true, true, true) {
    alert("true?");
}
//result - "true?" alert message popped up

if (false, false, false) {
    alert("true?");
}
else {
    alert("false");
}
//result - "false" alert message popped up

if(true, false, false) {
    alert("true?");
}
else {
    alert("false");
}
//result - "false" alert message popped up
Run Code Online (Sandbox Code Playgroud)

javascript boolean-logic if-statement actionscript-3 comma-operator

4
推荐指数
1
解决办法
1603
查看次数

sql query - true => true,false => true或false

简单查询,可能不可能,但我知道那里有一些聪明的人:)

给定一个布尔参数,我希望定义我的where子句来限制某个列的输出 - 或者什么也不做.

因此,给定参数@bit = 1,这将是结果:

其中column = 1

给定参数@bit = 0这将是结果:

其中column = 1或0

即没有效果/显示所有结果(列是一个位字段)

我不想要动态的SQL - 我可以解决在代码中解决这个问题,但我只是想知道是否有一些聪明的魔法可以使上面的整洁和简单.

在那儿?我正在使用sql server.

欢呼声:D

sql t-sql sql-server boolean-logic bit

4
推荐指数
1
解决办法
2万
查看次数

如何理解De Morgan Laws布尔表达式

当我试图理解这个表达时,我被搞砸了.我好几次想过,但我无法理解.

  1. !(p || q)相当于!p &&!q对于这个,不知怎的,我可以理解一点点.我的理解是"Not(pq)= not p而不是q"这是可以理解的

  2. !(p && q)相当于!p || !对于第二个,我完全搞砸了.为什么
    我的理解是"不(pq)=不是p或不是q".怎么来和/或可以相互对等?至于&&和||之间的真值表中的规则 是不同的.

这就是我理解每个表达式的方式,也许我在理解表达式时有错误的方法.你能告诉我如何理解这些表达方式吗?

boolean-logic boolean-expression demorgans-law

4
推荐指数
1
解决办法
1009
查看次数

Kripke语义:学习软件可用吗?

我坚持Kripke语义,并想知道是否有educational software我可以测试语句的等价性等,因为我开始认为它更容易通过实例学习(即使在抽象变量上).

我会用的

  • ☐A必写A
  • ♢A可能是A

do☐true,☐false,♢true,♢false评估值,如果是的话,从什么值集合({true,false}或者{必要,可能})?[1]


我想我读过所有Kripke models使用的duality axiom:

(☐A) - >(¬♢¬A)

即如果有必要,paytax那么它是不允许的paytax
(不论它是否需要纳税......)

IE2.如果它earnmoney不被允许不被允许earnmoney
(再次无论赚钱是否真的有必要,逻辑成立,到目前为止)

因为A-> B相当于¬A<-B让我们测试

¬☐A< - ♢¬A

没有必要,upvote如果允许不这样做upvote

这个公理是双重的:

♢A->¬☐¬A

如果它允许earnmoney那么它没有必要earnmoney


并非所有模态都表现相同,并且不同Kripke model的模型更适合模拟一个模态而不是全部模态:不是所有模态都Kripke models使用相同的模态axioms.(经典量词也是模态吗?如果Kripke models可以的话,可以对它们进行建模吗?)

我将通过常见公理列表,并试图找到使其看起来违反直觉或不必要假设的例子......

  • ☐(A-> B) - >(☐A->☐B):

如果(必要的(赚钱金意味着支付))那么((赚钱的必要性)暗示(支付货币的必要性))

请注意,赚钱并不意味着纳税,暗示A-> B的谎言不影响公理的真值......

你花了很长时间才能说出我试图理解这一切的问题......随意编辑

logic boolean-logic reasoning modal-logic

4
推荐指数
1
解决办法
909
查看次数

"不是A而不是B"的CSS3选择器?

我有这个代码,使每个段与类不同于" cl2"红色.

<head>
<style type="text/css">
p{ color:#000000; }
:not(.cl2){ color:#ff0000; }
</style>
</head>
<body>
<p class="cl1">This is a paragraph.</p>
<p class="cl2">This is second paragraph.</p>
<p class="cl2">This is third paragraph.</p>
<p class="cl3">This is fourth paragraph.</p>
<p class="cl2">This is fifth paragraph.</p>
<p class="cl2">This is sixth paragraph.</p>
<p class="cl4">This is seventh paragraph.</p>
<p class="cl5">This is eigth paragraph.</p>
<p class="cl1">This is nineth paragraph.</p>
</body>
Run Code Online (Sandbox Code Playgroud)

如何扩展我的:not选择器以忽略例如类" cl2"AND" cl4"?我嘲笑::not(.cl2, .cl4){ color:#ff0000; }但它不起作用.

css boolean-logic css-selectors css3

4
推荐指数
1
解决办法
2085
查看次数

这些陈述是否相同?

我可以像这样重构,这些是等价的,因此更简单直接的代码版本是首选吗?

在重构之前:

    if (!matcher.matches() && !matcher2.matches() && !matcher3.matches()
            && !matcher4.matches() && !matcher5.matches()
            && !matcher6.matches() && !matcher7.matches()
            && !matcher8.matches()) {
        return true;
    } else
        return false;
Run Code Online (Sandbox Code Playgroud)

重构后:

    return (matcher.matches() || matcher2.matches() || matcher3.matches()
            || matcher4.matches() || matcher5.matches()
            || matcher6.matches() || matcher7.matches()
            || matcher8.matches()) 
Run Code Online (Sandbox Code Playgroud)

java refactoring boolean-logic demorgans-law

4
推荐指数
1
解决办法
79
查看次数

布尔代数:证明这一点

我在布尔代数中遇到以下问题时出现问题,即

A + A'B = A + B.

我需要证明以上部分.我的意思是它已经减少了我不能进一步减少它.

boolean-logic booleanquery

4
推荐指数
2
解决办法
3万
查看次数

返回语句,内置逻辑

我知道这可能是一个非常简单的问题,但我今天在一个项目的代码中遇到了这个问题.return语句如何工作?这是什么操作?它类似于第三级运营商吗?

变量访问是一个int.

return access != IACL.RS_NOACCESS && documentVersion >= 0;
Run Code Online (Sandbox Code Playgroud)

java boolean-logic

4
推荐指数
2
解决办法
1608
查看次数

Bool方法返回错误的值

bool contains(string)为链表散列表创建了一个方法,用于检查值是否在散列中.我使用辅助函数来递归,但是当辅助函数返回时false,bool contains(string)仍然返回true.我通过调试器运行它,我可以清楚地看到它返回false,我不知道为什么.

这是当前搜索的节点:

"laccoliths"->"morbiferous"->"oculi"->"unscabbarded"

我正在寻找的价值是"typung".

这是代码:

bool contains_h(string x, node * p) //helper method
{
    if (p == NULL)
        return false;
    else if (x == p->data)
        return true;
    else
        contains_h(x, p->next);
}
Run Code Online (Sandbox Code Playgroud)

bool contains(string word) { return contains_h(word, head); }

c++ boolean-logic boolean return-value boolean-expression

4
推荐指数
1
解决办法
394
查看次数

为什么这个条件不会引发异常:(1 == 0 <= 1/0)== False?Python如何解析这个?

为什么评估这个False

1==0 <= 1/0

首先请注意,在Python中:

bols = [False, True] for A in bols: for B in bols: print(f'{str(A):>5}, {str(B):>5}, {str(A<=B):>5}') 输出:

False, False, True False, True, True True, False, False True, True, True 如果你熟悉布尔逻辑,这对你来说应该很自然.

现在它变得奇怪了:

print(1==1 <= 1/1, 1==0 <= 1/1)

日期: True, False

现在它变得更奇怪了:

print(1==0 <= 1/0)

日期: False

为什么最后一个不会抛出一个例外?

我的第一个猜测是因为解析问题.例如,先前的比较我们可以修复添加括号:

print(1==1 <= 1/1, (1==0) <= 1/1)

日期: True, True

但是,如果这个问题是一个解析问题,那么当我们除以0时,为什么python不会引发异常呢?

如果我们在最后一次比较中添加括号,我们可以强制Python提高ZeroDivision Exeption:

print((1==0) <= 1/0)

日期: ZeroDivisionError: division by zero

另外,为什么以下引发异常?

1==1 <= 1/0

日期: ZeroDivisionError: …

python boolean-logic boolean-operations python-3.x

4
推荐指数
1
解决办法
68
查看次数