摩根律推導過程

摩根定律是關於命題邏輯規律的一對法則。摩根定律推導過程中，在計算機的邏輯設計中，數學集合運算中都起着重要的作用。

    摩根首先發現在命題邏輯中存在着下面關係:

非(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)也成立。