teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update README.md

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2019-02-07 14:58:38 -08:00 • committed by GitHub
parent e28a70c2de
commit d9c7c3a6fa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -47,8 +47,6 @@ a, b = mtl.parse('a'), mtl.parse('b')
phi0 = ~a phi0 = ~a
phi1 = a & b phi1 = a & b
phi2 = a | b phi2 = a | b
# TODO: add
phi3 = a ^ b phi3 = a ^ b
phi4 = a.iff(b) phi4 = a.iff(b)
phi5 = a.implies(b) phi5 = a.implies(b)