ブール代数において、ド・モルガンの定理「/(A・B)」と等価な式はどれか(「/」は否定)。

積の否定は、それぞれの否定の和に等しい(NANDはNOT-ORと等価ではないが、論理式変換として重要)。