Почему работает теорема об опасности гонки?
Так что для тех, кто не знает, теорема о расовой опасности (RHT) гласит: A x B + A 'x C = A x B + A' x C + B x C Я понимаю другую часть RHT, о задержках и тому подобном, но я не понимаю, почему приведенное выше логическое утверждение должно быть правдой, может кто-нибудь помочь мне понять...