b'\n_START_ARTICLE_\nForma normal conjuntiva\n_START_PARAGRAPH_\nEn l\xc3\xb3gica booleana, una f\xc3\xb3rmula est\xc3\xa1 en forma normal conjuntiva (FNC) si corresponde a una conjunci\xc3\xb3n de cl\xc3\xa1usulas, donde una cl\xc3\xa1usula es una disyunci\xc3\xb3n de literales, donde un literal y su complemento no pueden aparecer en la misma cl\xc3\xa1usula. Esta definici\xc3\xb3n es similar a la de forma de productos de sumas usadas en teor\xc3\xada de circuitos._NEWLINE_Todas las conjunciones de literales y todas las disyunciones de literales est\xc3\xa1n en FNC, puesto que pueden ser vistas, respectivamente, como conjunciones de cl\xc3\xa1usulas de un literal, y como conjunciones de una \xc3\xbanica cl\xc3\xa1usula. Al igual que en una forma normal disyuntiva (FND), los \xc3\xbanicos conectivos l\xc3\xb3gicos que pueden aparecer en una f\xc3\xb3rmula en FNC son la conjunci\xc3\xb3n, disyunci\xc3\xb3n y negaci\xc3\xb3n. El operador negaci\xc3\xb3n solo puede aplicarse a un literal, y no a una cl\xc3\xa1usula completa, lo que significa que este s\xc3\xb3lo puede preceder a una variable proposicional o un s\xc3\xadmbolo de predicado._NEWLINE_En demostraci\xc3\xb3n autom\xc3\xa1tica de teoremas, la noci\xc3\xb3n de \xc2\xabforma normal clausal\xc2\xbb se utiliza frecuentemente en un sentido m\xc3\xa1s estricto, significando una representaci\xc3\xb3n particular de una f\xc3\xb3rmula FNC como un conjunto de conjuntos de literales.\n_START_SECTION_\nComplejidad computacional\n_START_PARAGRAPH_\nUn importante conjunto de problemas en complejidad computacional incluye el encontrar asignaciones para las variables de una f\xc3\xb3rmula expresada como forma normal conjuntiva, de modo que la f\xc3\xb3rmula sea verdadera. El problema k-SAT es un problema computacional que consiste en encontrar una asignaci\xc3\xb3n satisfacible para una f\xc3\xb3rmula expresada en FNC tal que cada disyunci\xc3\xb3n contenga la mayor cantidad de variables k posibles. El problema 3-SAT es NP-completo (as\xc3\xad como cualquier otro problema k-SAT con k>2), mientras que el problema 2-SAT es resoluble en tiempo polin\xc3\xb3mico. Como consecuencia,\xe2\x80\x8b la tarea de convertir una f\xc3\xb3rmula a una FND, preservando la  satisfactibilidad, es NP-hard; dualmente, convertido en FNC, preservando satisfactilidad, tambi\xc3\xa9n es NP-hard; por lo tanto la equivalencia preservando conversi\xc3\xb3n en FND o FNC tambi\xc3\xa9n es un NP-hard._NEWLINE_Los problemas t\xc3\xadpicos en este caso involucran f\xc3\xb3rmulas en "3FNC": La forma normal conjuntiva con no m\xc3\xa1s de tres variables por conjunci\xc3\xb3n. Ejemplos de tales f\xc3\xb3rmulas encontradas en la pr\xc3\xa1ctica pueden ser muy grandes, por ejemplo, con 100.000 variables y 1.000.000 conjunciones._NEWLINE_Una f\xc3\xb3rmula en FNC se puede convertir en una f\xc3\xb3rmula equisatisfiable en "kFNC" (para k> = 3) sustituyendo cada uno en conjunci\xc3\xb3n con m\xc3\xa1s de variables k  por dos conjunciones  y  con una nueva variable , y repitiendo cuantas veces sea necesario.'