How to solve the hardest logic puzzle ever in two questions

摘要

Rabern and Rabern (2008) have noted the need to modify ‘the hardest logicnpuzzle ever’ as presented in Boolos 1996 in order to avoid trivialization.nTheir paper ends with a two-question solution to the original puzzle,nwhich does not carry over to the amended puzzle. The purpose of this notenis to offer a two-question solution to the latter puzzle, which is, after all, thenone with a claim to being the hardest logic puzzle ever.