print(" exit - exit")
print()
print("Initializing Parser...")
parser = Parser()
print("Done.")
while True:
inp = input(">>> ")
try:
if inp == "formula":
print("Current formula:")
print(str(parser.formula))
continue
if inp == "table":
print("Truth table:")
print(parser.truth_table())
continue
if inp == "dnf":
print("Equivalent formula in DNF:")
print("ψ =", parser.generate_dnf())
continue
if inp == "vars":
print("Variables in current formula:")
for var in parser.get_variables():
print(var)
continue
if inp == "exit":
break
if inp[0:6] == "parse ":
inp = inp[6:]
