Construtor de Fórmulas Lógicas
Área de Entrada de Proposições:
P =
Q =
R =
S =
Proposições:
P
Q
R
S
Conectivos Lógicos:
~ (Negação)
∧ (E)
∨ (OU)
→ (Condicional)
↔ (Bicondicional)
⊕ (XOR)
⊤ (Verdadeiro)
⊥ (Falso)
NAND (Não-E)
NOR (Não-OU)
Parênteses:
(
)
Fórmula Construída:
Calcular
← Apagar
Limpar