Sadeleştir $$$\overline{\overline{A \cdot B} + \left(\overline{D} \cdot A\right)}$$$

$$$x = \overline{A \cdot B}$$$ ve $$$y = \overline{D} \cdot A$$$ için De Morgan teoremini $$$\overline{x + y} = \overline{x} \cdot \overline{y}$$$ şeklinde uygulayın:

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

Çift olumsuzlama (involüsyon) yasasını $$$x = A \cdot B$$$ için $$$\overline{\overline{x}} = x$$$ biçiminde uygulayın:

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

$$$x = \overline{D}$$$ ve $$$y = A$$$ için De Morgan teoremini $$$\overline{x \cdot y} = \overline{x} + \overline{y}$$$ şeklinde uygulayın:

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

Çift olumsuzlama (involüsyon) yasasını $$$x = D$$$ için $$$\overline{\overline{x}} = x$$$ biçiminde uygulayın:

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

Değişme özelliğini uygula:

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

Değişme özelliğini uygula:

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

$$$x = A$$$ ve $$$y = D$$$ ile $$$x \cdot \left(\overline{x} + y\right) = x \cdot y$$$ biçimindeki fazlalık yasasını uygulayın:

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