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