Упростить формулу ( A v B ) & ( A v C )

(A∨B)(A∨C) заменяем на AA∨AC∨BA∨BC 
AA∨AC∨BA∨BC
AA заменяем на A (идемпотентность: AA=A) 
A∨AC∨BA∨BC
A∨AC заменяем на A (правило поглощения: A∨AC=A)
A∨BA∨BCA∨BA заменяем на A (правило поглощения: A∨BA=A) 
A∨BC
: A∨BC