Propositional logic problem about a conversation of four people who lie or tell the truth This is obviously elementary but can't figure it out. I am taking a course named Logic and Introduction to Analysis next semester and wanted to do some reading beforehand but to figure out how deep the course actually is, I looked through a previous exam paper. Everything else is pretty easy - mainly involving basic propositional logic. But this was the first question and I am stumped. 

Consider the following conversation of four people:
$A : $ " $B$ always lies"
$B : $ " $C$ is a truth-teller"
$C : $ " $A$ told the truth"
$D : $ " None of $A, B$ and $C$ is a truth-teller"
$B : $ " Both $A$ and $C$ told lies"
How many are speaking truth in the conversation?

The options are None, One, Two, Three and Four. 
How would I go about abstracting this?
EDIT:
Apologies everyone edited the last statement by $B$. Horrible mistake by me. Sorry. 
 A: Normally for problems like this you are expected to assume that each person consistently lies or tells the truth.  Then you can just assume one is a specific kind and see where that leads.      Unfortunately, the first three statements cannot be assigned a consistent set of truth values.  If A lies,B is truthful, and so is C, so A must tell the truth, contradicting our assumption.  If A tells the truth, B lies, so C lies, so A lies.
A: The question is ambiguous because B speaks twice.  If one of those statements is true and one is false, are we or are we not supposed to count B as one of those "who is speaking truth"?
It is, for example, clearly possible that D's statement and B's last statement are the only true ones.  In that case, the answer is either One or Two, depending on how you count.
A: I considered: truth-teller = person who always tells the truth.
The first 3 statements suggest, as you specified, that all 3 (A, B, C) lie, so that means D is telling truth.
So we have a clear truth here.
What makes this a bit confusing, is that last last B statement is also true, and the question is "How many are speaking truth in the conversation?", not specifying "nothing but the truth".
We have D, with a clear truth, but we also have B that once spoke truly. So my answer would be 2, because B also spoke truth in the conversation (last statement), even though he occasionally lied, fitting the question requirements.
Edit: Please read WillOs comments, there is another solution, but with same answer (2).
A: 3 cases:


*

*truth-teller (always say the truth)

*always liar (always say a lie)

*ambiguous (not always say the truth, not always lie)
A says that B is an "always liar", BUT B change opinion on C: First he says that C is a "truth teller", than says tha A and C told lies. So B is not a "always liar", A told a lie.
C says that A says the truth: B is an always liar. But we already know that B don't say always lies. So C told a lie.
B is "ambiguous".
D says that A,B and C are not "truth teller". But this don't means he said that they  are "always liar". So D say teh truth. It could be also on state of "ambiguous", like B, but in this conversation tells only the truth.
So only D says the truth. solution: 1.
But the question is:
How many are speaking truth in the conversation? and not How many truth teller are in the conversation? we have to consider B also.
The answer is 2.
A: Because there are several partially correct answers above, I thought it would be useful to gather all of the correct answers in one place.
Solution 1:  The only true statements are D's and B's second statement.  In this case the "number of people speaking truth" is either One or Two, depending on whether you count B, who lies once and tells the truth once, as a "person speaking truth".
Solution 2:  The only true statements are A's and C's, in which case the answer is Two.
Solution 3:  The only true statements are A's, C's, and D's, in which case the answer is Three.
A: I believe that the question has some mistake. If we represent person X telling the truth with boolean proposition x, then we can convert all five statements to 

  
*
  
*a = ~ b
  
*b = c
  
*c = a
  
*d = ~a /\ ~b /\ ~c
  
*b = ~c /\ ~a
  

From 1, 2, and 3. we get

b = ~b

which is a contradiction.
A: I think D is the only person telling the truth. So 1.
A: Guys please let me know if I got it right. 
Tell me if I'm right. If $A$ is truthful then $B$ always lies, then $C$ lies and hence $A$ cannot have told the truth. Hence $A$ lies. 
$B$ cannot be truthful since it makes two contradictory statements. 
If $C$ is truthful then $A$ said the truth, then since $B$ always lies $C$ cannot be a truth-teller leading to a contradiction. 
So the only one telling the truth is $D$ who is not mentioned by the other three. 

I'll ping the responders in the comments. Would be grateful if someone could tell me if I'm right. I've followed Ross Millikan's method. 
A: This is what I get. If I start by assuming A told the truth, then:A: "B always lies" TRUE (assumption)
B: "C is a truth-teller" FALSE (follows from A)
C: "A told the truth" FALSE (follows from B1) CONTRADICTION
D: "None of A,B and C is a truth-teller"
B: "Both A and C told lies"

A must therefore either be FALSE, or the problem is ambiguous. Evaluating:A: "B always lies" FALSE (by contradiction from above)
B: "C is a truth-teller" TRUE (assumption)
C: "A told the truth" TRUE (follows from B1) CONTRADICTION
D: "None of A,B and C is a truth-teller"
B: "Both A and C told lies"

B1 must therefore either be FALSE, or the problem is ambiguous. Evaluating:A: "B always lies" FALSE (by first contradiction from above)
B: "C is a truth-teller" FALSE (by second contradiction from above)
C: "A told the truth" FALSE (follows from B1)
D: "None of A,B and C is a truth-teller" TRUE (assumption)
B: "Both A and C told lies" TRUE (follows from A and C) CONTRADICTION

D must therefore either be FALSE, or the problem is ambiguous. Evaluating:A: "B always lies" FALSE (by first contradiction from above)
B: "C is a truth-teller" FALSE (by second contradiction from above)
C: "A told the truth" FALSE (follows from B1)
D: "None of A, B and C is a truth-teller" FALSE (by 3rd contradiction from above)
B: "Both A and C told lies" TRUE (follows from A and C) CONTRADICTION

The problem is therefore ambiguous.
A: As the question is How many are Speaking truth?? so, if someone just speaks the truth for once he still will be counted as the one speaking truth
My Opinion is that answer is TWO; and those TWO are D and B , yes!both D and B!!!
NOTE: 
Note that world always in the statement of A,..... so, we can easily assume that truth-value of B changes with time, and thus due to this reason A used to used world always for B...  ---(assumption 1)
About second statement of B, focus on the GRAMMAR of each of these four people, which clearly suggests that these people speak in order they are being mentioned,....
now, in first statement B says that C is a truth teller but in second statement B says that C is a liar, which clarify our first assumption,...and so A is a #confirmed liar,.....
now, A being a liar is lying and B is not always a liar,.....
this puts us into two conditions that:
1) firstly B is speaking truth and then lying,..
or 2) firstly B is lying and then speaking truth,..
but, wait, meanwhile, according to C , A must have told the truth, and so, C is also a liar,
now,  last statement of B seems true which satisfy (2) condition , we were put in,....
but, B told truth after D already have spoken and at time when D was about to speak B was a liar so, D is also a truth-teller,.....  
at the end of time two people were speaking truth B and D
A: Before you learn any shortcuts for solving this problem, you must learn to solve it the slow way.  Write out your constraints and test all of the cases.
$$\begin{align} F(A, B, C, D) & = (A \iff \lnot B) \\ & \land (B \iff C)  \\ & \land (C \iff A)  \\ & \land (D \iff (\lnot A \land \lnot B \land \lnot C))  \\ & \land (B \iff (\lnot A \land \lnot C)) \end{align}$$
$$\begin{array} {c|c}\text{A B C D} & F(A, B, C, D) \\ \hline
\text{F F F F} & \text{F} \\ \hline
\text{F F F T} & \text{F} \\ \hline
\text{F F T F} & \text{F} \\ \hline
\text{F F T T} & \text{F} \\ \hline
\text{F T F F} & \text{F} \\ \hline
\text{F T F T} & \text{F} \\ \hline
\text{F T T F} & \text{F} \\ \hline
\text{F T T T} & \text{F} \\ \hline
\text{T F F F} & \text{F} \\ \hline
\text{T F F T} & \text{F} \\ \hline
\text{T F T F} & \text{F} \\ \hline
\text{T F T T} & \text{F} \\ \hline
\text{T T F F} & \text{F} \\ \hline
\text{T T F T} & \text{F} \\ \hline
\text{T T T F} & \text{F} \\ \hline
\text{T T T T} & \text{F} \\ \hline
\end{array}$$
So you can see under no conditions can all constraints be met.  The quick way to solve the problem is to look at the first 3 constraints:
$$(A \iff \lnot B) \text{ and } (B \iff C) \text{ and } (C \iff A)$$
The last two imply that $A, B, C$ are either all lying or all telling the truth, which contradicts the first constraint.  The fourth person is irrelevant.
This brings us to a philosophical problem.  Assume "lying" to means that what the opposite of the person says is true.  There is no assignment to "lying" or "truth telling" which satisfies the constraints.  
So to the question "how many are telling the truth", the answer is none.  But the answer to "how many are lying" is also none.
