>>152
ド・モルガンの法則の2式のような関係です。
すべての変数を否定し、さらに式全体を否定する操作で得られるものです。