雙箭號右側根據「實質條件否定規則」:(P↔Q)'↔[(P∧Q')∨(Q∧P')] 四、笛摩根定律(De Morgan’s laws) 這個部分有兩個重點: (P∨Q)'↔(P'∧Q') (P∧Q)'↔(P'∨Q') 只要否定一個合取/析取的複合命題,就代表複合命題內的每個命題都改成否定、「且」改成「或」、「或」改成「且」。