Theorem T000611

∧ ∧ ¬ ⇒

• Converse
• References

• No references available. If appropriate, please consider contributing a reference.