Discrete Mathematics - Conditional Probability