aviallon/compiler
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

utils: add equivalence

Browse source
This commit is contained in:
Antoine Viallon 2024-01-05 23:12:22 +01:00
parent 43b2dc9e93
commit 18a813f4c7
Signed by: aviallon
GPG key ID: 186FC35EDEB25716
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/utils.py
View file

@ -1,2 +1,6 @@
def implies(a: bool, b: bool) -> bool: def implies(a: bool, b: bool) -> bool:
return (not b and not a) or b return (not b and not a) or b
def equivalence(a: bool, b: bool) -> bool:
return implies(a, b) and implies(b, a)