>
摩根定律是關於命題邏輯規律的一對法則。摩根定律推導過程中,在計算機的邏輯設計中,數學集合運算中都起着重要的作用。
    摩根首先發現在命題邏輯中存在着下面關係:
非(P且Q)=(非P)或(非Q)
非(P或Q)=(非P)且(非Q)
推導過程如下:
設x屬於Cu(AUB)則x屬於u卻不屬於AuB,所以x卻不屬於A也不屬於B,故x屬於CuA和CuB,故x屬於cuAnCuB,反過來,式子仍然成立,同理,Cu(AuB)=Cu(AuB)nCu(B)也成立。
圖文推薦