Liars, Liars, Everywhere

All of the councilmen know which of them are truth-tellers, and which are liars. Your task is to determine, with certainty, which are truth-tellers, and which are liars. You may ask any yes-or-no question, but only to one councilman at a time. What is the minimum number of questions you need to be allowed to ask to be certain that you can determine every councilman's alignment, for all cases?

Details:

• For formality: Let \(S\) be the set of all questioning strategies, let \(C\) be the set of all entire councilmen alignments, and let \(f : S \times C \rightarrow \mathbb{Z}^+\) be the number of questions it takes a given strategy \(s \in S\) to unambiguously determine entire councilmen alignment \(c \in C\).

  • The answer we seek is \(\min\limits_{s \in S} \left( \max\limits_{c \in C} f(s,c) \right)\).

• You may vary your questions based on the answers you've already received. For example, you may have two "Question #2"'s, one for if the answer to "Question #1" is 'yes', and the other if it's 'no'. You may also vary the councilmen you query in this manner.

• The questions must be logically sound, and have a single, consistent 'yes' or 'no' answer. "Is this statement false?" is not a logically sound question.