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

пропозициональная форма вида [img: http://localhost:8080/file/021006-70.jpg] где все С i, i=1,..., п, имеют вид [img: http://localhost:8080/file/021006-71.jpg] каждое С ij, i=1,..., п; j=1,..., т i, есть либо переменная, либо отрицание переменной, и [img: http://localhost:8080/file/021006-72.jpg] есть логич. символ, обозначающий ложь. Для всякой пропозициональной формулы Аможно построить классически эквивалентную ей И. н. ф. В, содержащую те же переменные, что и А. Такая формула Вназ. И. н. ф. формулы А.