Probability Rules

These are from CS50AI course.

Negation $P(\neg a)=1-P(a)$

Inclusion-Exclusion $P(a\vee b)=P(a)+P(b)-P(a\wedge b)$

Marginalization $P(a)=P(a,b)+P(a,\neg b)$

Conditioning $P(a)=P(a\mid b)P(b)+P(a\mid \neg b)P(\neg b)$

#todo Inference?