如何将简单的英语转化为组合的逻辑条件？

Question

我有 7 个布尔变量 name

A1
A2
A3

B1
B2
B3

C

则条件应评估为 true

• 现在，如果A 中至少一个和 B 中至少一个为真

，或者

• C 且 A 和 B 中至少一个为真，

我不知道如何制作简短的组成条件：

有什么提示如何开始吗？

Answer 1

您没有指定上下文，因此我将根据您的标签并假设您正在用 Java 编写此内容。下面是您用来评估您提出的 2 个条件测试的代码。

对于“A 和 B 中的至少一个”：

bool condition1 = (A1 || A2 || A3) && (B1 || B2 || B3)

对于“C 以及 A 和 B 中的至少一个为真”（将其解读为 A 和 B 变量被作为一个进行测试）：

bool condition2 = C && (A1 || A2 || A3 || B1 || B2 || B3)

Answer 2

至少一个意味着你必须对它们进行或操作，

这样你的第一个条件就是 (A1 || A2 || A3) && （B1 || B2 || B3）

Answer 3

A 中至少一项和 B 中至少一项为真
或

C 并且 A 和 B 中至少一个为真

( (a1 || a2 || a3) && (b1 || b2 || b3) ) || (c && ( (a1 || a2 || a3) && (b1 || b2 || b3) ) )

Answer 4

1. <代码>(A1 || A2 || A3) && (B1 || B2 || B3)
2. ((A1 || A2 || A3) && (B1 || B2 || B3)) && C

Answer 5

• “至少一个”= OR = ||

• “and” = AND = &&

因此，这两部分是：

• (A1 || A2 || A3) && (B1 || B2 || B3)

或

• C && (A1 || A2 || A3 || B1 || B2 || B3)

因此：

boolean R = ((A1 || A2 || A3) && (B1 || B2 || B3)) || (C && (A1 || A2 || A3 || B1 || B2 || B3));

对眼睛（也许还有大脑）来说稍微容易一些：

boolean T1 = (A1 || A2 || A3);
boolean T2 = (B1 || B2 || B3);

boolean R = (T1 && T2) || (C && (T1 || T2));

Answer 6

“至少一个”也可以写成“不是没有”，所以：

!(!B1 && !B2 && !B3)

这也可以写成（应用 德摩根规则）：

B1 || B2 || B3

您指定的其余内容或多或少可以直接翻译，适当使用 &&、|| 和括号来解决歧义。

Answer 7

例如：

isTrue = ( ((A1 || A2 || A3) && ( B1 || B2 || B3)) || 

         ( C && ( (A1 || A2 || A3) && ( B1 || B2 || B3) ) ) )

第二部分的问题不是很清楚：

C 和 A 和 B 中的至少一个 = C 或 A 中的至少一个和 B 中的至少一个？

如果是这样的话，有些答案是不正确的。

C 和（A1 和 !B1）应计算为 False，而答案中的某些表达式将计算为 true。