Learn about biconditional statements of the form, “p if and only if q.” Then tackle the notorious “Hardest Logic Puzzle Ever,” devised by philosopher George Boolos. You have three yes/no questions to identify three gods: the god who always answers truthfully, the god who always lies, and the god who randomly mixes true and false answers. One big problem: They answer in their own language, which you don’t speak.