Zdroj TeX:

a+(b+c') \overset{Ax5}{=} a+(b+c)' \overset{Ax5}{=} (a+(b+c))'