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

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