You're using A ⇒ B ≡ A ∨ ¬ B {\displaystyle A\Rightarrow B\equiv A\vee \lnot B} but it should be ¬ A ∨ B {\displaystyle \lnot A\vee B}
D'oh!!!
Good catch thanks. Fixed now.