diff options
| -rw-r--r-- | sets.py | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -108,7 +108,9 @@ if len(next.elems) > 0: formula = sys.argv[1] formula = formula.replace('\\', '-').replace('*', '&').replace('+', '|') -formula = formula.replace('C', '~').replace('!', '~') +formula = formula.replace('C', '~').replace('!', '~').replace('¬', '~') + + for i in range(0, 10): formula = formula.replace('%i' % i, 'sets[%i]' % i) |
