Конъюнктивная нормальная форма

пропозициональная формула, имеющая вид [img: http://localhost:8080/file/021241-76.jpg] (*) где каждое С ij, i=1,..., п;j=1,..., mi, есть либо переменная, либо отрицание переменной. К. н. ф. (*) является тавтологией тогда и только тогда, когда для любого iсреди С i1,..., Cimi. встречаются обе формулы [img: http://localhost:8080/file/021241-77.jpg] для нек-рой переменной р. Для всякой пропозициональной формулы Аможно построить эквивалентную ей К. н. ф. В, содержащую те же переменные, что и А. Такая формула Вназ. К. р. ф. формулы А. С. К. Соболев.