( ∧¬ ) ⇒

The converse ( ⇒ ( ∧¬ )) cannot be proven or disproven from other known theorems