e加係 If a , then b and not c (a = he's investigation is correct, b = A is happy , c = B is sad)
contraposition後咪if not (b and c),then not a
de Morgan's 後咪變成if not b or not c, then not a.
咪變成if A is not happy or B is not sad, then he's investigation is not correct