КНФ

Лог. conjuctive normal form