"Порядковый анализ 5. Операторы, сохраняющие дизъюнктность" - читать интересную книгу автора (Кусраев А. Г.)