TeX джерело:

1.\:\overline a \cdot \overline b=\overline b \cdot \overline a\: