合取式的否定

合取式的否定是將合取式中的每個邏輯變數取反，然後將這些取反後的邏輯變數通過邏輯或連線起來。具體來說，如果有一個合取式"p並且q"，其否定式就是"非p或者非q"。