标签: boolean-logic

如果我正在评估两个变量,而不是两个方法调用,那么天气问题我使用"&&"或"&"

//some logic that sets bool values

boolean X = true;
boolean Y = true;

if (X & Y){
   // perform some operation
}

if (X && Y){
   // perform some operation
}

另外我用于C#3.0/.NET 3.5的书只引用了&&运算符,&运算符会消失吗？

当我这样做:

select * from vw_active_employees where division IS NULL; --319 results

说得通.然后,我这样做......

select * from vw_active_employees where division IS NULL AND udds IS NULL; -- over 1000 results

Whaaaaat？更多结果？？

因此,我必须将视图包装为子选择,以便返回我期望的内容.像这样:

select vw_active_employees.* from (select * from vw_active_employees) tmp where division IS NULL AND udds IS NULL; --317 results

有人可以解释一下吗？我从来没有在MS SQLSERVER中这样做 - 所以这对我来说很陌生.

用于创建此视图的SQL实际上将许多其他视图连接在一起.我不完全确定看到它有帮助,但是你要求它:)它基本上是

CREATE VIEW `vw_active_employees` AS

select 
e.*, 
`vw_employee_attributes_map`.`med_school_faculty`, `vw_employee_attributes_map`.`paid_clinic_faculty`, `vw_employee_attributes_map`.`volunteer_clinic_faculty`, `vw_employee_attributes_map`.`dept_vote_rights`, `vw_employee_attributes_map`.`emeritus`, `vw_employee_attributes_map`.`aoa_member`, `vw_employee_attributes_map`.`faculty_senate`, `vw_employee_attributes_map`.`faculty_senator_elect`, `vw_employee_attributes_map`.`faculty_senator_alt_elect`, `vw_employee_attributes_map`.`exec_comm_member`, `vw_employee_attributes_map`.`ucc`, `vw_employee_attributes_map`.`icc`, `vw_employee_attributes_map`.`va`, `vw_employee_attributes_map`.`uwmf`, `vw_employee_attributes_map`.`affiliate`, `vw_employee_attributes_map`.`aurora`, `vw_employee_attributes_map`.`website_searchable`,
`vw_employee_current_appointment_info`.`termination_date`, `vw_employee_current_appointment_info`.`last_promotion_date`, `vw_employee_current_appointment_info`.`promotion_due_date`, `vw_employee_current_appointment_info`.`last_reappointment_date`, …

如果我有以下布尔值

const YESTERDAY = false;
const TODAY = true;
const TOMORROW = false;

我可以写什么代码来确保一个是真的？

我试过这个:

$x = self::YESTERDAY ^ self::TODAY ^ self::TOMORROW;

问题是,与所有三个常量设置true,然后$x是true.

我想在C#中验证一个包含带括号的布尔表达式的字符串.该字符串应仅包含数字1-9,圆括号,"OR","AND".

良好字符串的示例:

"1和2"

"2 OR 4"

"4 AND(3 OR 5)"

"2"

等等...

我不确定正则表达式是否足够灵活地完成此任务.在C#中有一个很好的简短方法吗？

我有3个列表:

a = [True, False, True]
b = [False, False, True]
c = [True, True, False]

当我输入

a or b or c

我想找回一份清单

[True, True, True]

但我回来了

[True, False, True]

有什么想法吗？我该如何组合这些面具？

对于n个变量,存在2 ^(2 ^ n)个不同的布尔函数.例如,如果n = 2,则存在16种可能的布尔函数,这些函数可以以产品形式或和形式的乘积的总和来编写.可能的函数数量随n呈指数增长.

我正在寻找一种算法,它可以为n个变量生成所有这些可能的布尔规则.我试图在各个地方搜索,但到目前为止还没找到任何合适的地方.大多数算法都与将布尔函数简化或简化为标准形式有关.

我知道即使n = 8或9,规则的数量也会变得太大,但有人可以帮我解决相关的算法吗？

MonoDevelop建议转向:

if (someBoolVar)
    anotherBoolVar = true;

进入这个:

anotherBoolVar |= someBoolVar;

它也做它,当我设置anotherBoolVar来false代替:

if (someBoolVar)
    anotherBoolVar = false;

变为:

anotherBoolVar &= !someBoolVar;

有人可以解释这些陈述是如何平等的吗？

检查只有A是空还是只有B为空的最佳方法是什么？我一直在尝试许多不同的方法来找到感觉干净的东西,这就是它变得多么复杂:

bool CheckForNull(object a, object b)
{
    if(a == null && b == null)
    {
        return false;
    }
    if(a == null || b == null)
    {
        return true;
    }
    return false;
}

我最好的(也是最明显的)版本是:

bool CheckForNull(object a, object b)
{
    return a == null && b != null || a != null && b == null;
}

但我也不喜欢那样.(当然我可以添加括号......)

有没有一种标准的方法可以做到这一点我从未学过？

我的一个朋友开玩笑地问我这个问题.它本来是一种"不言而喻"的类型评论,但后来我实际上考虑了一段时间并开始提出一些聪明的" 几乎解决方案".

第一次尝试:

如果C曾经支持量子计算,那么可能会有一个答案.一个q位可以同时处于许多状态,因此它可能是假的并且是真的,并且这个条件将返回(BOOL)0.5又名"是/否/可能 - " - 但是一旦你观察变量,整个事物将崩溃并再次变为无效.

第二次尝试:

如果X可以某种方式定义为随机二进制生成器并将其转换为BOOL,则可能会在某些时候出错.除非你使用CLANG,否则我不确定你是否可以在C中这样做.#define x (BOOL)!!(rand()%2)

我们讨论的语言是C,但我也很好奇是否有人能找到任何语言的解决方案.

当我问这个问题，其中一个答案，现在删除，是在暗示该类型Either对应于XOR，而不是OR，在柯里-霍华德同构的，因为它不能Left与Right在同一时间。

真相在哪里？