Cláusula

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Una disyunción de literales (átomos o sus negaciones) tratada como una sola unidad sintáctica, usada comúnmente en forma normal conjuntiva (FNC) y como objeto básico en procedimientos de prueba basados en resolución y en solveadores SAT.