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ọclogic 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

[sửa | sửa mã nguồn]

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ả

[sửa | sửa mã nguồn]
  • Đị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.

Tham khảo

[sửa | sửa mã nguồn]
Chúng tôi bán
Bài viết liên quan
Mao Trạch Đông - Mặt trời đỏ của nhân dân Trung Quốc (P.1)
Mao Trạch Đông - Mặt trời đỏ của nhân dân Trung Quốc (P.1)
Trên cao có một mặt trời tỏa sáng, và trong trái tim mỗi người dân Trung Quốc cũng có một mặt trời không kém phần rực đỏ - Mao Trạch Đông
[Target Elimination - Vanishing Illusions] Hướng dẫn sơ lược về Clear và treo Auto ở boss Selena
[Target Elimination - Vanishing Illusions] Hướng dẫn sơ lược về Clear và treo Auto ở boss Selena
Do cơ chế Auto hiện tại của game không thể target mục tiêu có Max HP lớn hơn, nên khi Auto hầu như mọi đòn tấn công của AG đều nhắm vào Selena
Seeker: lực lượng chiến đấu tinh nhuệ bậc nhất của phe Decepticon Transformers
Seeker: lực lượng chiến đấu tinh nhuệ bậc nhất của phe Decepticon Transformers
Seeker (Kẻ dò tìm) là thuật ngữ dùng để chỉ một nhóm các người lính phản lực của Decepticon trong The Transformers
Cảm xúc của font chữ
Cảm xúc của font chữ
Font chữ không chỉ là công cụ thể hiện nội dung mà còn truyền tải cảm xúc và cá tính của thương hiệu hoặc thiết kế. Mỗi kiểu chữ mang một sắc thái riêng