The conditional exchange rule is a rule in logic which states that "if P then Q" implies and is implied by "not P or Q".
The rule may be expressed formally as:
α → β ¬α ∨ β
¬α ∨ β