Algebra booleana
Definiciones
Literal
Un literal l es una variable o su negada.
Existen dos tipos: literalres con signo positivo
cuando representan el valor ‘1’ de la variable (
l=x), y con signo negativo cuando representa
el valor ‘0’ ( l=¯¯¯x).
Clausula
Una cláusula (o término C) está formada por
un conjunto de literales enlazados mediante
conectivas lógicas.
Forma Logica
Una fórmula lógica ϕ está formada por
conjuntos de cláusulas enlazadas mediante
conectivas lógicas. Matemáticamente, toda
fórmula lógica ϕ en variables puede verse
también como una función multivariable,
esto es ϕ:{0,1}n→{0,1} .En este texto
emplearemos indistintamente los términos de
función y fórmula.
Operaciones basicas
Interpretacion El complemento es el negado: y=¯¯¯a. La operación suma u OR se representa y=a+b La operación producto u AND se representa
y=a⋅b.
Una interpretación de una fórmula lógica
ϕ es el valor lógico de la fórmula cuando se
le asignan valores de verdad (TRUE / FALSE)
a sus variables. En consecuencia, existirán
tantas interpretaciones como combinaciones
de asignaciones posibles.