Truth Table, CNF, and DNF Generator

by NubPaws on GitHub

Enter a logical expression using the following symbols:

• ~ for NOT
• & for AND
• | for OR
• -> for IMPLIES
• <-> for EQUIVALENCE

Example: (A & B) -> C