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

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]
[Las valuaciones deben ser ingresadas en el formato "v(formula) = valor"]

---