Lógica: (Los valores de verdad son {0, 1})
Lógica personalizada

Valores de verdad: (deben contener un único caracter y estar separados por comas)
Valores designados: (deben contener un único caracter y estar separados por comas)
Constantes unarias: (deben contener un único caracter y estar separados por comas)
Constantes binarias: (deben contener un único caracter y estar separados por comas)
Ok Cancelar

Profundidad de la formula:
Número de atomicas:
Generar al azar

O ingrese su propia fórmula: Ok


[Las atómicas aceptables son 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'o']
[Puede usar '¬'/'not', '&'/'and', 'or', 'then', 'iff', '°' para la negación, conjuncion, disyunción, condicional, bicondicional y consistencia]

---

Chequear
Resolver

The formula is a:
Tautología
Contradicción
Contingencia