Rama de la ciencia que se encarga de la representación del conocimiento.
Utiliza formalismos matemáticos de representación y cálculo.

Diseñada como formalismo matemático sencillo de representación del
conocimiento y realización de cálculos.
Tiene aplicación directa en el cálculo proposicional (lógica clásica).

Elementos del álgebra booleana

Valores del álgebra booleana

Constantes

Elementos cuyo valor puede cambiar.
Por lo regular se nombran con una letra, pero puede ser una palabra

Operaciones básicas del álgebra booleana

combinación de contantes, variables y operadores:
A . B' + C' . 1 + [ 'A . (B' + 1) ]

FUNCIONES

tabla de verdad de la Adición, unión o función O (OR)

tabla de verdad de PRODUCTO, INTERSECCIÓN o función Y (AND)