How many satisfying truth assignments (out of 16 possible) exist for the 4-variable propositional formula: $\phi = (A \implies B) \land (B \implies C) \land (C \implies D) \land (D \implies \neg A)$