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

Лог. implicative normal form

Источник: Полный русско-английский словарь на Gufo.me