logic - 論理ゲートを純粋な NAND 実装に変換すると、なぜこれが有効になるのでしょうか?

Question

そのため、純粋なNANDゲートの実装への変換に関する回答を使用して、いくつかの演習を行っています。

2 つの AND ゲートとそれらを接続する OR ゲートが二重否定によってどのように変換されたかは理解できますが、bとcを接続する OR ゲートはどのようにして NAND ゲートに変換できるのでしょうか? （二重否定せずに b と c に否定を置くにはどうすればよいですか？）以前の実装と同じになる方法がわかりません。