search

open-psa / mef

The Open-PSA Model Exchange Format
https://open-psa.github.io/mef
5 stars 7 forks source link

Fix Imply Gate F => G definition #34

Closed rakhimov closed 7 years ago

rakhimov commented 7 years ago

There's a minor error in defining this Gate as (~F & G). The proper definition should be (~F | G).

cfolleau commented 7 years ago

yes obviously, well spotted :-)

rakhimov commented 7 years ago

Thanks @cfolleau . Feel free to take the initiative and merge the PR.