חוקי דה-מורגן

משפט 1 . 12 . 1 המשלים של איחוד שווה לחיתוך המשלימים A ⋃ B ) = A ⋂ B c ) . 2 המשלים של חיתוך שווה לאיחוד המשלימים A ⋂ B ) = A ⋃ B c ) הוכחה x ∈ ( ⋃ AB ) c  ∉ ⋃ xAB . 1  x ∉ A and x ∉ B  x ∈ A andx ∈ B c  x ∈ A ⋂ B c x ∈ ( ⋂ AB ) c  ∉ ⋂ xAB . 2  x ∉ A or x ∉ B  x ∈ A orx ∈ B c  x ∈ A ⋃ B c 1 על שם אוגוסטוס דה-מורגן ( . ( Augustus De Morgan , 1871-1806  אל הספר