Generador de tablas de verdad - Lógica preposicional, Algebra booleana