De Morgan, hay còn gọi là định lý De Morgan, được phát biểu và chứng minh bởi nhà toán học và logic học người Anh lớn lên tại Ấn Độ tên là Augustus De Morgan (1806-1871).
Nguyên thủy, định lý này được chứng minh trong lý thuyết tập hợp.
Cho A và B là hai tập hợp bất kì thì
Trong đó, là ký hiệu của phần bù của tập X.
Từ hai mệnh đề trên cùng với bảng chân trị của phép hội ( ) và phép nghịch đảo ( ) người ta có thể chứng minh rằng mọi mệnh đề lô gíc đều có thể được biểu diễn bằng một mệnh đề mà chỉ bao gồm hai phép toán hội và phép nghịch đảo.
This article uses material from the Wikipedia Tiếng Việt article Luật De Morgan, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Nội dung được phát hành theo CC BY-SA 4.0, ngoại trừ khi có ghi chú khác. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Tiếng Việt (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.