From 45eec860ee8a7030c7d2c5fefa164bfd05693764 Mon Sep 17 00:00:00 2001
From: Daniel <59575049+lemoentjiez@users.noreply.github.com>
Date: Wed, 9 Nov 2022 10:44:00 +0200
Subject: [PATCH] Update truth_table.py

---
 LabMD_1/truth_table.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/LabMD_1/truth_table.py b/LabMD_1/truth_table.py
index 37d1bbe..835aa0a 100644
--- a/LabMD_1/truth_table.py
+++ b/LabMD_1/truth_table.py
@@ -1,5 +1,5 @@
 evalStr = input()
-newStr = evalStr.replace("!", " not ").replace("*", " and ").replace("+", " or ")
+newStr = evalStr.replace("!", " ~ ").replace("*", " & ").replace("+", " | ")
 variables = []
 for x in evalStr:
     if x.isalpha() and not(x in variables):
@@ -8,6 +8,7 @@ n = len(variables)
 for x in variables:
     print("|", x, end=" ")
 print("|", evalStr, "|")
+print("-" * ((len(evalStr)+4) + n*4))
 for x in range(0, 2**n):
     temp = []
     for i in range(n):