Selecciona las operaciones que quieres ver en la tabla de verdad:
Y (A ∧ B)
O (A ∨ B)
Entonces (A → B)
Bicondicional (A ↔ B)
Generar tabla