✨Luật De Morgan
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.
Phát biểu
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.
Ứng dụng và Hệ quả
- Định lý này được phát biểu và dùng lại trong lô gíc và đại số Boole như sau: :: ::
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.
- Định lý De Morgan là tiền đề cơ bản cho sự phát triển của ngành máy tính vì chỉ cần có hai cổng điện toán - cổng đảo dấu (NOT gate) và cổng và (AND gate) chẳng hạn - thì người ta có thể thiết lập nên bất kì một phép toán lô gíc nào bằng tổ hợp của hai cổng điện toán trên.
👁️ 0 | 🔗 | 💖 | ✨ | 🌍 | ⌚
**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
thế=Augustus De Morgan|nhỏ **Augustus De Morgan** (27 tháng 6 năm 1806 - 18 tháng 3 năm 1871) là một nhà toán học và logic học người Anh. Ông đã xây dựng các luật De Morgan
Bài này nói về từ điển các chủ đề trong toán học. ## 0-9 * -0 * 0 * 6174 ## A * AES * ARCH * ARMA * Ada Lovelace * Adrien-Marie Legendre *
nhỏ|Văn bản khắc trên bia đá của bộ luật Hammurabi. nhỏ|phải|Phần trên của bia đá chứa bộ luật Hammurabi. nhỏ|Mặt sau của bia đá. **Bộ luật Hammurabi** (**_Codex Hammurabi_**) là văn bản luật cổ nhất
Trong logic toán, một phân ngành logic, cơ sở của mọi ngành toán học, **mệnh đề**, hay gọi đầy đủ là **mệnh đề logic** là một khái niệm nguyên thủy, không định nghĩa. Thuộc tính
**Đế chế Babylon Cổ**, hay **Đế chế Babylon thứ nhất**, là một quốc gia cổ đại nói tiếng Akkad tại nam Lưỡng Hà (nay là Iraq), tồn tại trong k. 1894 TCN - k. 1595
**Đô-la Morgan** là đồng đô-la Mỹ được đúc từ năm 1878 đến năm 1904, và một lần nữa trong 1921. Đây là đồng đô-la bạc chuẩn đầu tiên được đúc từ khi sản xuất thiết
**Đinh La Thăng** (sinh ngày 10 tháng 9 năm 1960) là một chính khách Việt Nam và tiến sĩ kinh tế. Ông từng là Bộ trưởng Bộ Giao thông Vận tải (2011-2016), Chủ tịch Hội
**Morgan Gibbs-White** (sinh ngày 27 tháng 1 năm 2000) là một cầu thủ bóng đá chuyên nghiệp người Anh hiện đang thi đấu ở vị trí tiền vệ tấn công cho câu lạc bộ Nottingham
thumb|Cháy rừng ở tỉnh [[Mae Hong Son (tỉnh)|Mae Hong Son, tháng 3 năm 2010]] Tăng trưởng kinh tế đầy kịch tính của **Thái Lan** đã gây ra nhiều **vấn đề môi trường**. Đất nước này
Một tập hợp hình đa giác trong một [[biểu đồ Euler]] Tập hợp các số thực (R), bao gồm các số hữu tỷ (Q), các số nguyên (Z), các số tự nhiên (N). Các số
**Văn minh cổ Babylon** hay **Babylonia** () là một quốc gia cổ đại nói tiếng Akkad và là một vùng văn hóa có trung tâm tại trung-nam Lưỡng Hà (nay là Iraq và Syria). Ban
phải|nhỏ|402x402px|[[Mã nguồn của một chương trình máy tính đơn giản được viết bằng ngôn ngữ lập trình C. Khi được biên dịch và chạy, nó sẽ cho kết quả "Hello, world!".]] **Ngôn ngữ lập trình**
**Arthur Cayley** (; sinh ngày 16 tháng 8 năm 1821 – mất ngày 26 tháng 1 năm 1895) là nhà toán học Anh làm việc chủ yếu với đại số. Ông giúp thành lập ra
nhỏ|Ví dụ về bìa Karnaugh **Bìa Karnaugh**, hay **sơ đồ Các-nô**, **biểu đồ Veitch**, là một công cụ để thuận tiện trong việc đơn giản các biểu thức đại số Boole. Bìa Karnaugh độc đáo
nhỏ|[[Biểu đồ Venn cho thấy hợp của _A_ và _B_]] Trong tổ hợp, một nhánh của toán học, **nguyên lý bao hàm-loại trừ** (hay **nguyên lý bao hàm và loại trừ** hoặc **nguyên lý bù
**Không gian tôpô** là những cấu trúc cho phép người ta hình thức hóa các khái niệm như là sự hội tụ, tính liên thông và tính liên tục. Những dạng thường gặp của **không
Trong lý thuyết tập hợp, **phần bù** hay **bù** của tập hợp (toán học) thường được ký hiệu là (hoặc ), là tập hợp các phần tử không nằm trong . Khi tất cả các
**_Red Dead Redemption 2_** là một trò chơi phiêu lưu hành động năm 2018 do Rockstar Games phát triển và phát hành. Trò chơi là phần thứ ba trong loạt _Red Dead _và là tiền
**_CSI: Crime Scene Investigation_** (tạm dịch: **_CSI: Đội Điều Tra Hiện Trường,_** tên gọi phổ biến: **_CSI_** **/_CSI: Las Vegas**_) là một bộ phim truyền hình chính kịch tội phạm pháp y của Hoa Kỳ
nhỏ|250x250px|Xác suất của việc tung một số con số bằng cách sử dụng hai con xúc xắc. **Xác suất** (Tiếng Anh: _probability_) là một nhánh của toán học liên quan đến các mô tả bằng
**Lãnh thổ Hawaii** từng là một lãnh thổ hợp nhất có tổ chức của Hoa Kỳ, được thành lập ngày 7 tháng 7 năm 1898 và giải thể ngày 21 tháng 8 năm 1959 khi
Một cột đèn giao thông tại [[Anh Quốc]] thumb|Một cột đèn giao thông tại [[Đồng Bằng Sông Hồng, Việt Nam]] **Đèn giao thông** (còn được gọi tên khác là **hệ thống đèn tín hiệu giao
**Lược đồ Horner** hay **phương pháp Horner** là 1 trong 2 cách: 1) Một thuật toán để biến đổi đa thức Loại 2 còn gọi là **phương pháp Ruffini-Horner**. Phương pháp đặt tên theo nhà
Tháng 2 năm 2020 là tháng thứ hai trong năm hiện tại. Tháng này, mà bắt đầu vào ngày thứ bảy và kết thúc vào ngày Chủ nhật, sau 29 ngày. Trang này dành cho
[[Dinh Iolani|Dinh Iolani tại Honolulu, trước đó là nơi cư ngụ của vương triều Hawaii, là tòa nhà quốc hội của Cộng hòa Hawaii.]] **Cộng hòa Hawaii** là tên gọi chính thức của chính phủ
**Logic toán** là một ngành con của toán học có liên hệ gần gũi với cơ sở toán học, khoa học máy tính lý thuyết, logic triết học. Ngành này bao gồm hai phần: nghiên
**Thaddeus Stevens** (4 tháng 4 năm 179211 tháng 8 năm 1868) là một dân biểu trong Hạ viện Hoa Kỳ đến từ Pennsylvania. Ông từng là một trong những lãnh tụ phái Cộng hòa Cấp
**_Better Call Saul_** (tạm dịch: _Hãy gọi cho Saul_) là một chương trình truyền hình dài tập thuộc thể loại chính kịch hình sự và pháp luật do Vince Gilligan và Peter Gould sáng tác.
**Tu chính án 26** Hiến pháp Hoa Kỳ quy định công dân Hoa Kỳ đủ 18 tuổi trở lên có quyền bầu cử cấp tiểu bang và địa phương. Tu chính án 26 được Quốc
**William McKinley, Jr.** (29 tháng 1 năm 1843 - 14 tháng 9 năm 1901) là Tổng thống thứ 25 của Hoa Kỳ tại nhiệm từ năm 1897 cho đến khi ông bị ám sát vào
nhỏ|[[Peterhouse , trường cao đẳng đầu tiên của Cambridge, được thành lập vào năm 1284]] **Viện Đại học Cambridge** (tiếng Anh: _University of Cambridge_), còn gọi là **Đại học Cambridge**, là một viện đại học
**Timothy Jenkins** (ngày 29 tháng 1 năm 1799 – ngày 24 tháng 12 năm 1859) là luật sư và chính trị gia người Mỹ, từng làm Dân biểu bang New York qua hai nhiệm kỳ
thumb|Cổng vào trường Đại học Nhân dân **Đại học Nhân dân Trung Quốc** (**RUC**; ) là một trường đại học công lập trọng điểm quốc gia tại Bắc Kinh, Trung Quốc. Trường có liên kết
**Charles Wendell "Chuck" Colson** (16 tháng 10 năm 1931 – 21 tháng 4 năm 2012) là cố vấn đặc biệt của Tổng thống Richard Nixon từ năm 1969 đến năm 1973, về sau là nhà
**Rutherford Birchard Hayes** (4 tháng 10 năm 1822 - 17 tháng 1 năm 1893) là tổng thống thứ 19 của Hoa Kỳ từ năm 1877 đến năm 1881, và từng là dân biểu của Hạ
phải|nhỏ|Tranh sơn dầu của họa sĩ John Morgan vẽ năm 1861, minh họa bồi thẩm đoàn 12 người ở Anh **Bồi thẩm đoàn** là một tập hợp thường dân được tòa án ủy nhiệm việc
**Ngân hàng giám sát,** hoặc đơn giản là **Người** **giám sát,** là một tổ chức tài chính chuyên bảo vệ tài sản tài chính của một cá nhân hoặc của công ty và không được
**Chiến tranh thế giới thứ nhất**, còn được gọi là **Đại chiến thế giới lần thứ nhất**, **Đệ nhất Thế chiến** hay **Thế chiến I**, là một cuộc chiến tranh thế giới bắt nguồn tại
**Leonhard Euler** ( , ; 15 tháng 4 năm 170718 tháng 9 năm 1783) là một nhà toán học, nhà vật lý học, nhà thiên văn học, nhà lý luận và kỹ sư người Thụy
**Phó vương quốc Peru** hay **Phó vương phủ Peru** (tiếng Tây Ban Nha:_Virreinato del Perú_) là một đơn vị hành chính thuộc địa của Tây Ban Nha được thành lập vào năm 1542. Lãnh thổ
**Chế độ mẫu hệ** () là dấu vết của mối quan hệ họ hàng qua dòng nữ. Nó cũng có thể tương quan với một hệ thống xã hội trong đó mỗi người được xác
**James** **Joseph Sylvester** là nhà toán học người Anh. Ông có nhiều đóng góp cho lý thuyết ma trận, lý thuyết bất biến, lý thuyết số, lý thuyết phân vùng và tổ hợp. Ông là
**Câu lạc bộ bóng đá Paris Saint-Germain** (thường được gọi là **Paris Saint-Germain**, , **Paris SG** hoặc đơn giản là **PSG**) là một câu lạc bộ bóng đá chuyên nghiệp có trụ sở tại Paris,
**Jill Tracy Jacobs Biden** (họ gốc **Jacobs**, từng mang họ **Stevenson**; sinh ngày 3 tháng 6 năm 1951) là một nhà giáo dục Mỹ, tân Đệ Nhất Phu nhân Hoa Kỳ, và từng giữ vị
**John Edensor Littlewood** (9 tháng 6 năm 1885 – 6 tháng 9 năm 1977) là một nhà toán học người Anh. Ông nghiên cứu chủ yếu về giải tích, lý thuyết số và phương trình
right|thumb|Thiên thần của Cái chết vẽ bởi [[Evelyn De Morgan, 1881]] **Azrael** (Tiếng Hebrew: עזראל) là một thiên thần trong các tôn giáo khởi nguồn từ Abraham. Ông thường được coi là Thiên thần của
**Zimbabwe** (tên chính thức là: **Cộng hòa Zimbabwe**, trước đây từng được gọi là **Nam Rhodesia**, **Cộng hòa Rhodesia** và sau đó là **Zimbabwe Rhodesia**) là một quốc gia không giáp biển nằm ở phía
nhỏ|Hình 1: W. Sutton (trái) và T. Boveri (phải) cùng sáng lập thuyết di truyền nhiễm sắc thể. **Học thuyết di truyền nhiễm sắc thể** là lí thuyết Sinh học cho rằng nhiễm sắc thể
**Cuộc đấu súng tại O.K. Corral** đề cập đến một cuộc đấu súng chỉ trong khoảng 30 giây giữa các nhân viên thực thi pháp luật và các thành viên của một băng đảng ngoài