disjunction elimination

listen to the pronunciation of disjunction elimination