Bayes’ Theorem states that $$ p(F | E) = \frac{p(E|F)p(F)}{p(E|F)p(F) + p(E|\bar F)p(\bar F)} $$ Short form: P(A∣B)=P(B)P(B∣A)⋅P(A)