P(A|B):
P(¬A|B):