Disturbance Propagation Logic