Usuário
Un tipo de álgebra que trabaja con valores de verdad (verdadero/falso)
^
O
Conjunción
Negación
Verdadero
Implicación
Disyunción
Falso
Bicondicional
/(x*y)
B+A
/(x+y)
B*A
A+(B+C)