Revision of Missionaries & Cannibals problem definition and N-Queens problem definition. Exploration of propositional logic theory.