bn:03356908n
Noun Concept
Categories: Álgebra booliana
PT
forma normal da negação  forma normal negativa
PT
Uma fórmula lógica está na forma normal da negação se a negação ocorre logo após fórmulas atômicas, e { ¬, ∨, ∧ {\displaystyle \lnot,\lor,\land } } são os únicos conectivos booleanos permitidos. Wikipedia
Definitions
Relations
Sources
PT
Uma fórmula lógica está na forma normal da negação se a negação ocorre logo após fórmulas atômicas, e { ¬, ∨, ∧ {\displaystyle \lnot,\lor,\land } } são os únicos conectivos booleanos permitidos. Wikipedia
Wikipedia Redirections
Wikidata Alias