TeX source:

P(A\vert B)=1\implies P(\neg B\vert \neg A)=1