BabelNet

bn:03601122n

Noun Concept

Categories: Álgebra booliana

forma normal conjuntiva

Na lógica booleana, uma fórmula está na forma normal conjuntiva se é uma conjunção de cláusulas, onde uma cláusula é uma disjunção de literais. Wikipedia

Definitions

Relations

Sources

Na lógica booleana, uma fórmula está na forma normal conjuntiva se é uma conjunção de cláusulas, onde uma cláusula é uma disjunção de literais. Wikipedia

IS A

forma normal canônica

fórmula proposicional

HAS PART

conjunção lógica

cláusula

PART OF

lógica matemática

HAS KIND

Совершенная конъюнктивная нормальная форма

STUDIED BY

lógica matemática