$$$\overline{\left(\overline{A} + B\right) \cdot \left(\overline{B} + C\right)}$$$ を簡単化する

$$$x = \overline{A} + B$$$ と $$$y = \overline{B} + C$$$ に対してド・モルガンの法則 $$$\overline{x \cdot y} = \overline{x} + \overline{y}$$$ を適用する:

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

$$$x = \overline{A}$$$ と $$$y = B$$$ に対してド・モルガンの法則 $$$\overline{x + y} = \overline{x} \cdot \overline{y}$$$ を適用する:

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

二重否定（対合）律 $$$\overline{\overline{x}} = x$$$ を $$$x = A$$$ に適用します:

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

$$$x = \overline{B}$$$ と $$$y = C$$$ に対してド・モルガンの法則 $$$\overline{x + y} = \overline{x} \cdot \overline{y}$$$ を適用する:

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

二重否定（対合）律 $$$\overline{\overline{x}} = x$$$ を $$$x = B$$$ に適用します:

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