wffAlgorithm to run: python wffGenerator.py connectives available: two_place_conns = ['>', 'v', '&'] one_place_conn = '-'