Απλοποιήστε $$$\left(\overline{A} \cdot \overline{B}\right) + \left(\overline{A} \cdot B \cdot \overline{C}\right) + \overline{A + \overline{C}}$$$

Εφαρμόστε το θεώρημα του De Morgan $$$\overline{x + y} = \overline{x} \cdot \overline{y}$$$ σε $$$x = A$$$ και $$$y = \overline{C}$$$:

$$\left(\overline{A} \cdot \overline{B}\right) + \left(\overline{A} \cdot B \cdot \overline{C}\right) + {\color{red}\left(\overline{A + \overline{C}}\right)} = \left(\overline{A} \cdot \overline{B}\right) + \left(\overline{A} \cdot B \cdot \overline{C}\right) + {\color{red}\left(\overline{A} \cdot \overline{\overline{C}}\right)}$$

Εφάρμοσε τον νόμο της διπλής άρνησης (αυτοαντιστροφής) $$$\overline{\overline{x}} = x$$$ με $$$x = C$$$:

$$\left(\overline{A} \cdot \overline{B}\right) + \left(\overline{A} \cdot B \cdot \overline{C}\right) + \left(\overline{A} \cdot {\color{red}\left(\overline{\overline{C}}\right)}\right) = \left(\overline{A} \cdot \overline{B}\right) + \left(\overline{A} \cdot B \cdot \overline{C}\right) + \left(\overline{A} \cdot {\color{red}\left(C\right)}\right)$$

Επαναγράψτε:

$${\color{red}\left(\left(\overline{A} \cdot \overline{B}\right) + \left(\overline{A} \cdot B \cdot \overline{C}\right)\right)} + \left(\overline{A} \cdot C\right) = {\color{red}\left(\left(\left(B \cdot \overline{C}\right) + \overline{B}\right) \cdot \overline{A}\right)} + \left(\overline{A} \cdot C\right)$$

Εφαρμόστε τον αντιμεταθετικό νόμο:

$$\left({\color{red}\left(\left(B \cdot \overline{C}\right) + \overline{B}\right)} \cdot \overline{A}\right) + \left(\overline{A} \cdot C\right) = \left({\color{red}\left(\overline{B} + \left(B \cdot \overline{C}\right)\right)} \cdot \overline{A}\right) + \left(\overline{A} \cdot C\right)$$

Εφαρμόστε τον νόμο του πλεονασμού $$$x + \left(\overline{x} \cdot y\right) = x + y$$$ με $$$x = \overline{B}$$$ και $$$y = \overline{C}$$$:

$$\left({\color{red}\left(\overline{B} + \left(B \cdot \overline{C}\right)\right)} \cdot \overline{A}\right) + \left(\overline{A} \cdot C\right) = \left({\color{red}\left(\overline{B} + \overline{C}\right)} \cdot \overline{A}\right) + \left(\overline{A} \cdot C\right)$$

Επαναγράψτε:

$${\color{red}\left(\left(\left(\overline{B} + \overline{C}\right) \cdot \overline{A}\right) + \left(\overline{A} \cdot C\right)\right)} = {\color{red}\left(\left(C + \overline{B} + \overline{C}\right) \cdot \overline{A}\right)}$$

Εφαρμόστε τον αντιμεταθετικό νόμο:

$${\color{red}\left(C + \overline{B} + \overline{C}\right)} \cdot \overline{A} = {\color{red}\left(C + \overline{C} + \overline{B}\right)} \cdot \overline{A}$$

Εφαρμόστε τον νόμο του συμπληρώματος $$$x + \overline{x} = 1$$$ με $$$x = C$$$:

$$\left({\color{red}\left(C + \overline{C}\right)} + \overline{B}\right) \cdot \overline{A} = \left({\color{red}\left(1\right)} + \overline{B}\right) \cdot \overline{A}$$

Εφαρμόστε τον αντιμεταθετικό νόμο:

$${\color{red}\left(1 + \overline{B}\right)} \cdot \overline{A} = {\color{red}\left(\overline{B} + 1\right)} \cdot \overline{A}$$

Εφαρμόστε τον νόμο κυριαρχίας (μηδενισμού, εκμηδενισμού) $$$x + 1 = 1$$$ με $$$x = \overline{B}$$$:

$${\color{red}\left(\overline{B} + 1\right)} \cdot \overline{A} = {\color{red}\left(1\right)} \cdot \overline{A}$$

Εφαρμόστε τον αντιμεταθετικό νόμο:

$${\color{red}\left(1 \cdot \overline{A}\right)} = {\color{red}\left(\overline{A} \cdot 1\right)}$$

Εφαρμόστε τον νόμο της ταυτότητας $$$x \cdot 1 = x$$$ με $$$x = \overline{A}$$$:

$${\color{red}\left(\overline{A} \cdot 1\right)} = {\color{red}\left(\overline{A}\right)}$$