implicative normal form

Лог. импликативная нормальная форма