Logic 此规则组合模式的技术术语

我一直在开发一个程序，该程序采用一系列规则并测试它们的组合来操作一个简单的控制器。规则只能是真实的

一条规则将生成一个控制器：

A: If Cond1 Then True

If A then Activate

两个规则可以生成两个控制器：

A: If Cond1 Then True
B: If Cond2 Then True

If A and B then Activate
If A or B then Activate

A: If Cond1 Then True
B: If Cond2 Then True
C: If Cond3 Then True

A and B and C
A or B or C
(A and B) or C
A or (B and C)
(A and C) or B
(A and B) or (A and C)
(B and C) or (A and C)
(A and B) or (B and C)

三条规则生成8个控制器：

A: If Cond1 Then True
B: If Cond2 Then True

If A and B then Activate
If A or B then Activate

A: If Cond1 Then True
B: If Cond2 Then True
C: If Cond3 Then True

A and B and C
A or B or C
(A and B) or C
A or (B and C)
(A and C) or B
(A and B) or (A and C)
(B and C) or (A and C)
(A and B) or (B and C)

---

这个过程有正式名称吗？这类课程属于哪个研究领域？我所能找到的是，每个控制器都可以用“模糊逻辑”来描述。

问题中的每个控制器都有真值表。通过过滤生成真值表的程序的输出，可以获得所需的输出

有关在此处生成真值表的详细信息：

---

这不是模糊逻辑。听起来您只是想为N个输入生成所有不同的逻辑表达式（包括AND和OR）。请注意

（A和B）或（A和C）=A和（B或C）

。