Add a tab that allows people to turn any WFF into a CNF using the truth table method and displays work
Add a tab that allows people to turn any WFF into a CNF using the truth table method and displays work