Conditional Entropy Formula for Finite Partitions