Page
Web
Wiki
A10 : Impl(x, y) -> Or(Not(x), y) A11 : Or(Not(x), y) -> Impl(x, y)
A10 : Impl(x, y) <-> Or(Not(x), y)