Validador de Lógica Proposicional
Proposición:
p
q
r
s
∧
∨
⊕
→
↔
¬
(
)
Tipo de Evaluación:
Tautología
Contradicción
Contingencia
Evaluar