This video showcases how to use Boolean algebra to simplify expressions and how to prove an expression true or give a counterexample to showcase untrue.
No download links available.