Кажется, это требует некоторого обновления.

Распределительный: A(B+C) = AB + AC

Более того, Вы упомянули умножение (*), но пример дан со сложением (+)