ド・モルガンの法則

論理演算や集合論において、「否定（NOT）」と「論理和（OR）」「論理積（AND）」の関係を表す基本的な法則。