Skip to content

Commit 99fa594

Browse files
committed
fix: fixed table evaluation to allow top and bottom characters in cells
1 parent 56e81a0 commit 99fa594

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

evaluation_function/truth_table/evaluate.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -89,9 +89,9 @@ def evaluate_truth_table(variables: list[str], cells: list[list[str]], num_atoms
8989

9090
for i in range(len(cells)):
9191
for j in range(len(cells[i])):
92-
if cells[i][j] == "tt":
92+
if cells[i][j] in ["tt", "T", "⊤"]:
9393
cells[i][j] = True
94-
elif cells[i][j] == "ff":
94+
elif cells[i][j] in ["ff", "F", "⊥"]:
9595
cells[i][j] = False
9696
else:
9797
return Result(

0 commit comments

Comments
 (0)