tailieunhanh - Đại số Boolean và cổng luận lý

Khoa học và Kỹ thuật máy tính - Bộ môn kỹ thuật máy tính 2 Cơ sở toán học cho các hệ thống số là đại số Boolean (Boolean algebra) George Boole giới thiệu vào năm 1854 Tương tự các hệ đại số khác, được xây dựng thông qua việc xác định nghĩa những vấn đề cơ bản sau: Miền (domain), là tập hợp (set) các phần tử (element) mà trên đó định nghĩa nên hệ đại số Các phép toán (operation) thực hiện được trên miền Các định đề (postulate), hay tiên đề (axiom) được công nhận không qua chứng minh Tập các hệ quả. | Đại số Boolean và cổng luận lý Bộ môn Kỹ thuật máy tính Bùi Văn Hiếu bvhieu@ Đại số Boolean Cơ sở toán học cho các hệ thống số là đại số Boolean (Boolean algebra) George Boole giới thiệu vào năm 1854 Tương tự các hệ đại số khác, được xây dựng thông qua việc xác định nghĩa những vấn đề cơ bản sau: Miền (domain), là tập hợp (set) các phần tử (element) mà trên đó định nghĩa nên hệ đại số Các phép toán (operation) thực hiện được trên miền Các định đề (postulate), hay tiên đề (axiom) được công nhận không qua chứng minh Tập các hệ quả (set of consequences) được suy ra từ định đề, định lý (theorem), định luật (law) hay luật(rule) Khoa Khoa học và Kỹ thuật máy tính - Bộ môn kỹ thuật máy tính 2 Định đề Huntington 1. Tính đóng (closure): tồn tại miền B với ít nhất 2 phần tử phân biệt và 2 phép toán (+) và (•) sao cho: Nếu x và y là các phần tử thuộc B thì (x + y), (x•y) cũng là 1 phần tử thuộc B Phép toán (+) được gọi là phép cộng luận lý (logical addition) Phép toán (• ) được gọi là phép nhân luận lý (logical multiplication) Khoa Khoa học và Kỹ thuật máy tính - Bộ môn kỹ thuật máy tính 3 Định đề Huntington (tt) 2. Phần tử đồng nhất (identity elements) Nếu x là một phần tử thuộc miền B thì Tồn tại một phần tử 0 thuộc B, gọi là phần tử đồng nhất với phép toán (+ ), thỏa mãn tính chất x + 0 = x Tồn tại một phần tử 1 thuộc B, gọi là phần tử đồng nhất với phép toán (•), thỏa mãn tính chất x • 1 = x Khoa Khoa học và Kỹ thuật máy tính - Bộ môn kỹ thuật máy tính 4 Định đề Huntington (tt) 3. Tính giao hoán (commutative law) x + y = y + x x • y = y • x 4. Tính phân phối (distributive law) x • (y + z) = (x • y) + (x • z) x + (y • z) = (x + y) • (x + z) 5. Bù (complementation) Nếu x là 1 phần tử trong miền B, tồn tại một phần tử khác gọi là x’, là phần tử bù của x thỏa mãn: x + x’ = 1 và x • x’ = 0 Khoa Khoa học và Kỹ thuật máy tính - Bộ môn kỹ thuật máy tính 5 Tính đối ngẫu (duality) Quan sát các định đề Hungtinton, ta thấy chúng mang tính đối xứng (symmetry) tức là .

• Toán học
• giáo án hình học nâng cao
• tài liệu học môn toán
• giáo án hình học nâng cao
• thủ thuật máy tính
• đại số Boolean
• Định đề Huntington
• Tính đối ngẫu
• Các định lý cơ bản
• hình học 11
• giáo án hình học 11
• tài liệu hình học 11
• hình học 11 nâng cao
• bài tập hình học 11
• tài liệu hình học 12
• hình học 12 nâng cao
• học tốt hình học 12
• giáo án hình học 12
• bài giảng hình học 12
• sổ tay toán học
• phương pháp học môn toán
• giáo án hình học 10
• hình học nâng cao 10
• tài liệu ôn th
• Đề thi học sinh giỏi Sinh học 12
• Chọn học sinh giỏi Sinh học 12
• Đề thi Sinh học 12 nâng cao
• Ôn luyện Sinh học 12 nâng cao
• Bài tập Sinh học 12 nâng cao
• Ôn luyện Sinh học 12
• Các hình thức hô hấp ở thực vật
• tài liệu giảng hình học 10
• giáo trình hình học 10
• tài liệu hình học 10
• cẩm nang giảng dạy hình học 10
• khoa học
• tự nhiên
• toán học
• Giáo án hình học 11 nâng cao
• vecto trong không gian
• khoảng cách
• giáo án
• hình học
• tón nâng cao
• toán lớp 10
• hình học giải tích
• hình học không gian
• bí quyết dạy môn toán
• hình học cơ bản 10
• hình học nâng cao 1
• Luận văn Thạc sĩ Khoa học giáo dục
• Giáo dục học
• Dạy học tập đọc lớp 5
• Quy trình dạy học theo dự án
• Nâng cao phương pháp dạy học
• Ứng dụng hình thức dự án trong dạy học
• Giáo án chủ đề tự chọn Sinh học
• Giáo án Sinh học lớp 12
• Giáo án điện tử tự chọn lớp 12
• Giáo án Tác động của gen
• Sự hình thành tính trạng
• Tương tác giữa các gen không alen
• đại số
• giáo trình kinh tế
• sách toán học
• đề cương chi tiết học phần
• tài liệu học đại học
• toán rời rạc
• bài tập toán
• giáo trình toán học
• phương pháp dạy học toán
• hình học 12
• bải giảng hình học 12
• lý thuyết hình học 12
• Giáo án tự chọn môn Toán
• công thức vật lí
• bài tập trắc nghiệm vật lí
• vật lí nâng cao
• kiến thức vật lý căn bản
• đố vui toán học
• số học
• nghiên cứu khoa học
• chuyên đề vật lý
• luận văn khoa vật lý
• vật lý ứng dụng
• nghiên cứu vật lý
• Giản đồ FEYNMAN
• Chuyên đề hình học
• giáo án toán hoc phổ thông
• toán học lớp 12
• Quan hệ vuông góc
• Tóm tắt Luận án Tiến sĩ
• Khoa học Giáo dục
• Lịch sử giáo dục
• Dạy học môn Giáo dục học
• Nâng cao chất lượng đào tạo giáo viên
• Đào tạo sinh viên sư phạm
• bài giảng giáo án điện tử
• tài liệu ôn tậ
• Hình học giải tích trong mặt phẳng