442
правки
Изменения
м
Нет описания правки
{{Определение
|definition=
Слабый конъюктивный конъюнктивный предикат $P$ '''истинен''', если он истинен на хотя бы одном согласованном срезе
}}
Сложные предикаты, составленные как логическая комбинация локальных предикатов, можно представить в дизъюнктивной нормальной форме и рассмотреть как дизъюнкцию слабых конъюктивных предикатов.
