Технический термин для этого комбинационного шаблона правила

Question

Я работаю над программой, которая принимает список правил и проверок их комбинаций для управления простым контроллером. Правила могут быть истинными.

Одно правило генерировала бы один контроллер:

A: If Cond1 Then True 

If A then Activate 

Два правила могут генерировать 2 контроллера:

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

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

Три правила генерируют 8 контроллеров:

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) 

Есть ли официальное название для этой процедуры? В какой области обучения этот тип программ подпадает под действие? Все, что мне удалось найти, это то, что каждый контроллер может быть описан как «нечеткая логика».

Answer 1

Таблицы прав существуют для каждого из контроллеров в вопросах. Желаемый результат может быть получен путем фильтрации вывода программы, которая генерировала таблицы истинности.

Подробнее о создании таблиц истинности здесь: Algorithm for generating all possible boolean functions of n variables