Added ability to manually enter equivalences on startup in app
Began truth tables to check equivalence
Generate empty truth tables for certain number of variables and convert to string