contradiction resolution

Розв'язування неузгодженості (у схемі чи програмі)