logic: expressing "or" in terms of "implies not"

Printable View