Propagation Algorithm of Behavior Probability in Power Estimation Based on Multiple-Valued Logic