Конъюнкти́вный одночле́н (элементарная конъюнкция, конъюнкт, минте́рм) — булева формула, представляющая собой конъюнкцию литералов: x 1 σ 1 ∧ … ∧ x r σ...
15 KB (1,674 words) - 18:46, 23 October 2024
дизъюнктивная нормальная форма Совершенная конъюнктивная нормальная форма Конъюнктивный одночлен Дизъюнктивный одночлен Поздняков С.Н., Рыбин С.В. Дискретная...
9 KB (905 words) - 18:49, 30 September 2024
тупиковой. Конъюнктивная нормальная форма Совершенная дизъюнктивная нормальная форма Совершенная конъюнктивная нормальная форма Конъюнктивный одночлен Дизъюнктивный...
18 KB (2,007 words) - 22:01, 17 October 2024
представлена как конъюнкция дизъюнктивных одночленов (конъюнктивная нормальная форма). Важный класс дизъюниктивных одночленов — хорновские дизъюнкты, состоящие...
2 KB (158 words) - 18:02, 16 May 2024
Хорновский дизъюнкт — дизъюнктивный одночлен с не более чем одним положительным литералом. Изучены Альфредом Хорном (англ. Alfred Horn) в 1951 году в связи...
7 KB (536 words) - 20:07, 23 July 2023