Zdroj TeX:

m'.n+m'=(m.n+n)+(m+1)=(m.n+m)+(n+1)=m . n'+n'