example for a simplification with the rule for boolean algebra

$\overline{a \lor (b \land (\bar{a} \lor c) \land 1) \lor a}$

At first we will switch the representation to the following:

$/(a + (b \cdot (/a + c) \cdot 1 ) + a )$

so lets start

$/(a + (b \cdot (/a + c) \cdot 1 ) + a )$

1. Put space between the digits
$\quad$

\begin{align*} \begin{smallmatrix} /(a + (b \cdot (/a + c) \color{blue}{\cdot 1} ) + a ) & \color{blue}{\text{Neutral Element}} \\ \quad\quad\quad\quad\quad\quad & \color{white}{.} \\ \end{smallmatrix} \end{align*}