aboutsummaryrefslogtreecommitdiffstats
path: root/sets.py
diff options
context:
space:
mode:
Diffstat (limited to 'sets.py')
-rw-r--r--sets.py4
1 files changed, 3 insertions, 1 deletions
diff --git a/sets.py b/sets.py
index af0cd4e..eae0eef 100644
--- a/sets.py
+++ b/sets.py
@@ -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)