合取式的否定

合取式的否定（ negation of conjunction）亦称“反合取”。即合取式的否定式:\"1（p∧q）。1（p∧q）→（-pV→q）。并非“p并且q”等值于:非p或者非q。这即德·摩根定理的一个内容。