Большой англо-русский и русско-английский словарь
лог. implicative normal form
Математическая энциклопедия
пропозициональная форма вида
где все С i, i=1,..., п, имеют вид
каждое С ij, i=1,..., п; j=1,..., т i, есть либо переменная, либо отрицание переменной, и 
есть логич. символ, обозначающий ложь. Для всякой пропозициональной формулы Аможно построить классически эквивалентную ей И. н. ф. В, содержащую те же переменные, что и А. Такая формула Вназ. И. н. ф. формулы А.
Лит.:[1] Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960.
С. И. Соболев.