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

Merge pull request #22 from TiagoRG/dev-tiagorg

This commit is contained in:
Tiago Garcia 2023-02-22 12:07:36 +00:00 committed by GitHub
parent db7096d962 7e6f6606e6
commit 36952e11dc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/truthtable/truthtable.py
View File

@ -47,9 +47,9 @@ def getTable(variables, function):
if index == len(tempFunction): if index == len(tempFunction):
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) + " "))
if var in variables: if var in variables:
tempFunction = tempFunction.replace(tempFunction[index], binary[variables.index(var)]) if tempFunction[index - 1] != '~' else tempFunction.replace(f"~{tempFunction[index]}", str(int(not int(binary[variables.index(tempFunction[index])])))+" ") 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
try: try:
truthTable[binary] = eval(tempFunction) truthTable[binary] = eval(tempFunction)
@ -58,6 +58,8 @@ def getTable(variables, function):
return return
if truthTable[binary] > 1: if truthTable[binary] > 1:
truthTable[binary] = 1 truthTable[binary] = 1
if truthTable[binary] < 0:
truthTable[binary] = 0
return truthTable return truthTable