Propositional Logic Session with @niyanthvidi - Part 1