TiagoRG
/
uaveiro-leci
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Removed unnecessary lines

This commit is contained in:
TiagoRG 2023-02-22 12:05:30 +00:00
parent 96f27e2b01
commit 7e6f6606e6
1 changed files with 3 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
tools/truthtable/truthtable.py
View File

@ -48,13 +48,9 @@ def getTable(variables, function):
break break
if var in "01" and tempFunction[index - 1] == '~': if var in "01" and tempFunction[index - 1] == '~':
tempFunction = tempFunction.replace('~' + var, str(1 - int(var) + " ")) tempFunction = tempFunction.replace('~' + var, str(1 - int(var) + " "))
try: if var in variables:
if var in variables: tempFunction = tempFunction[:index] + binary[variables.index(var)] + tempFunction[index+1:] if tempFunction[index - 1] != '~' else tempFunction[:index-1] + str(int(not bool(int(binary[variables.index(tempFunction[index])]))))+" " + tempFunction[index+1:]
tempFunction = tempFunction[:index] + binary[variables.index(var)] + tempFunction[index+1:] if tempFunction[index - 1] != '~' else tempFunction[:index-1] + str(int(not bool(int(binary[variables.index(tempFunction[index])]))))+" " + tempFunction[index+1:] index += 1
index += 1
except ValueError:
index += 1
continue
try: try:
truthTable[binary] = eval(tempFunction) truthTable[binary] = eval(tempFunction)
except: except: