Por que o teorema do risco de corrida funciona?
Portanto, para quem não sabe, o teorema do risco de corrida (RHT) afirma que: A x B + A 'x C = A x B + A' x C + B x C Entendo a outra parte do RHT, sobre atrasos e outras coisas, mas não entendo por que a afirmação lógica acima deve ser verdadeira. Alguém pode me ajudar a entender...