http://www.criticalthinkeracademy.com This video shows how disjunctions written in the form "(not-A) or B" are logically equivalent to conditional claims of the form "if A then B".
No download links available.