TYPE 1.T2: Teller is type 2.P = “Result is head if and only if I am in type 1”P = HʘT1CASE 1: P = FALSE (i.e Teller is type 2)\(\begin{array}{L}\bar H.\overline {T1} + H.T1 = FALSE\\T.T2 + H.T1 = FALSE\\T.T2 + H.T1 = FALSE\end{array}\) T = FALSE\(\therefore \bar T = TRUE\), THUS result is Head.CASE 2: P = TRUE (i.e. teller is type 1)\(\begin{array}{l}\bar H.\overline {T1} + H.T1 = TRUE\\T.T2 + HT1 = TRUE\\T.O + H = TRUE\end{array}\) ∴ H = TRUEHence OUTPUT is Head in both cases.