Independent Conditional Probability Formula