This document contains notes from a discrete mathematics workshop held in September 2015 at Universidad ECCI in Bogota, Colombia. It covers propositional logic, including contingencies and normal forms such as conjunctive normal form (CNF) and disjunctive normal form (DNF). Examples are provided of representing logical statements in CNF and DNF with multiple variables.