Propositional Logic

Problem 6, Progfest 2013