Para comenzar, las fórmulas sufren un error tipográfico en la versión HTML de los documentos ( pdf no lo hace). La fórmula que usted cita debe leer:
$$ \ mathrm {Rd3} \ cdot \ mathrm {Rr3} + \ mathrm {Rr3} \ cdot \ overline {\ mathrm {R3}} + \ overline {\ mathrm {R3}} \ cdot \ mathrm {Rd3 } $$
En esa fórmula hay tres valores. \ $ \ mathrm {Rd} \ $ es el valor actual del registro de destino, \ $ \ mathrm {Rr} \ $ es el valor actual del registro de origen, y \ $ \ mathrm {R} \ $ es el resultado de la instrucción (por ejemplo, para ADD sería \ $ \ mathrm {R} = \ mathrm {Rd} + \ mathrm {Rr} \ $).
El número al lado del valor representa qué bit del valor que se usa en el cálculo. En este caso, sería bit \ $ 3 \ $ para cada uno de los registros.
Los operadores son los operadores booleanos estándar para AND (\ $ \ cdot \ $) y OR (\ $ + \ $).
Si agrega los corchetes inferidos (AND tiene prioridad sobre OR en las ecuaciones booleanas), obtendrá:
$$ (\ mathrm {Rd3} \ cdot \ mathrm {Rr3}) + (\ mathrm {Rr3} \ cdot \ overline {\ mathrm {R3}}) + (\ overline {\ mathrm {R3}} \ cdot \ mathrm {Rd3}) $$
Esperemos que en esa forma sea muy fácil de seguir.