Disgiuntore, disgiuntore differenziale