标签: boolean-logic

我有一张像这样的桌子

    C1      C2      C3      C4      C5....    
R1  FALSE   FALSE   TRUE    TRUE
R2  FALSE   FALSE   NA      TRUE
R3  NA      NA      NA      TRUE
R4  NA      FALSE   FALSE   FALSE
R5  NA      NA      NA      NA
.
.
.

我想保留所有包含至少一个 TRUE 的行。在该表中，需要保留 R1、R2 和 R3。然后，我可以从同一个表中提取另一列（C21）的值。

请给我一些建议，谢谢！

我想看看一个函数是否返回一个整数，该整数的值应该是 1 或 0。

0 == (1 or 0)

0 等于 1 或 0，这听起来应该是真的，但事实并非如此。

为什么？以及如何正确地做我想做的事？

我是一般编程的初学者，所以如果我在提出这个问题时犯了一些错误，我很抱歉。

我正在遵循的教程介绍了此代码：

package main

import (
    "fmt"
)

const (
    isAdmin = 1 << iota
    isHeadquarters
    canSeeFinancials
    
    canSeeAfrica
    canSeeAsia
    canSeeEurope
    canSeeNorthAmerica
    canSeeSouthAmerica
)

func main() {
    var roles byte = isAdmin | canSeeFinancials | canSeeEurope
    fmt.Printf ("%b\n", roles)
    fmt.Printf ("Is Admin? %v\n", isAdmin & roles == isAdmin)
}

教程中的人很快提到了这部分如何称为Bitmasking。

fmt.Printf ("Is Admin? %v\n", isAdmin & roles == isAdmin)

现在，据我所知，这里发生的过程是这样的：计算机被询问isAdmin和角色是否都等于isAdmin并回答true。

但是，当我尝试这样做时：

fmt.Printf ("Is Admin? %v\n", roles == isAdmin)

结果是false。 …

我是 Prolog 新手，有一些疑问。

我需要编写一个函数 form_equiv(A,B) 来告诉我们 B 是否等于 A，其中 A 和 B 应该是命题。

我知道两个命题是等价的，如果

同义反复 (A 当且仅当 B) = TRUE

但是我怎样才能创建一个函数来检查公式何时是同义反复。

顺便说一句，我不能仅使用内置函数 AND、OR 和 NOT。

现在这是我到目前为止所拥有的：

and(P,Q) :- P, Q, !.
or(P,Q) :- (P; Q), !.
impl(P,Q) :- or(not(P),Q).
syss(P,Q) :- and(impl(P,Q),impl(Q,P)).

t.
f :- fail.

t(_).
f(_) :- fail.



:- op(400,xf,not).
:- op(500,xfx,and).
:- op(500,xfx,or).
:- op(600,xfx,impl).
:- op(700,xfx,syss).

我在 Haskell 中完成了一个类似的程序，但我对 Prolog 真的很陌生。

谁能帮我写一个函数来检查公式是否是同义反复？

提前致谢...

或者python中的语句似乎不像其他语言那样工作,因为:

-1 < 0 | 0<0

收益False(自应返回true -1<0是True)

问题是什么？

> test = false and true
=> false
> test
=> false
> test = true and false #this is the point I don't understand!
=> false
> test
=> true

为什么ruby会以这种方式运行？如何正确使用它以避免遇到此问题？

我需要在三列上查询具有过滤条件的表:

select * 
from table a 
where a.order = car 
and a.color !=red 
or a.automatic !=auto

这只是检查第一个条件而忽略第二个条件.

我只是无法理解它:(

简单的问题,可以有以下逻辑

A && !(A && B)

被简化为这个？

A && !B

如果没有,可以简化吗？

如何使用VB.NET(两个整数之间)进行逆向非重复？

我有两个Flag Enumerations myFlag1,myFlag2并希望获得myFlag3仅包含myFlag2但不包含的值myFlag1.
我知道XOR运营商,但这并不好.

说我有

010110
100011
------
100001 (this is what I need)

也

111
101
---
000

偶尔,我有这个问题,我想检查:

a = 'my string'
if 'string1' in a or 'string2' in a or 'string3' in a ... or 'stringN' in a:
    [[do something]]
else:
    [[something else]]

假设我知道有90%的机会'string1' in a评估True.Python是否还会评估'string2' in a在这种情况下'string1' in a是True哪个？或者在技术上写作更有效:

if 'string1' in a:
    [[do something]]
elif 'string2' in a:
    [[do something]]
elif 'string3' in a:
    [[do something]]
...
elif 'stringN' in a:
    [[do something]]
else:
    [[something else]]