3.10 笛摩根定律
寫條件時常會遇到這種情況:你想判斷的「正面」條件很難直接寫,但它的「反面」(相反情況)卻很好想。 這時有一個好用的工具——笛摩根定律(De Morgan's laws)——可以幫你把「反面」乾淨地翻回「正面」。
¶兩條定律
先看兩個生活例子。假設「兩科都及格」的意思是「國文及格 && 數學及格」。那什麼情況不算兩科都及格?——只要國文沒過 || 數學沒過,就不算了(任一科沒過就不行)。
反過來,假設「今天有吃到東西」的意思是「中午有吃 || 晚上有吃」(吃到一餐就算)。那什麼情況算整天都沒吃?——中午沒吃 && 晚上沒吃(兩餐都沒吃)。