For A, B, C, D, if he speaks true, note it by +, otherwise, by -. (for example, A speaks truth, others lie, this is denoted by +---, etc.) Now ask A: Is C true? Ask B: Is C true? Case1: +---, you will get result N, Y. Case2: -+--, you will get result Y, N. Case3: --+-, you will get result N, N. Case4: ---+, you will get result Y, Y. This is 1-1 correspondence, so you can reverse it.
|