Solved logic problems