NộI Dung
- Định nghĩa - Dạng thông thường kết hợp (CNF) có nghĩa là gì?
- Giới thiệu về Microsoft Azure và Microsoft Cloud | Trong suốt hướng dẫn này, bạn sẽ tìm hiểu về điện toán đám mây là gì và Microsoft Azure có thể giúp bạn di chuyển và điều hành doanh nghiệp của bạn từ đám mây như thế nào.
- Techopedia giải thích Mẫu bình thường kết hợp (CNF)
Định nghĩa - Dạng thông thường kết hợp (CNF) có nghĩa là gì?
Dạng thông thường kết hợp (CNF) là một cách tiếp cận logic Boolean biểu thị các công thức dưới dạng liên từ của mệnh đề với AND hoặc OR. Mỗi mệnh đề được kết nối bởi một kết hợp, hoặc AND, phải là một nghĩa đen hoặc chứa một hàm phân tách hoặc toán tử OR. CNF là hữu ích cho việc chứng minh định lý tự động.
Giới thiệu về Microsoft Azure và Microsoft Cloud | Trong suốt hướng dẫn này, bạn sẽ tìm hiểu về điện toán đám mây là gì và Microsoft Azure có thể giúp bạn di chuyển và điều hành doanh nghiệp của bạn từ đám mây như thế nào.
Techopedia giải thích Mẫu bình thường kết hợp (CNF)
Ở dạng kết hợp thông thường, các câu lệnh trong logic Boolean là các liên từ của mệnh đề với các mệnh đề bất đồng. Nói cách khác, một câu lệnh là một chuỗi các OR được kết nối bởi AND.
Ví dụ:
(A HOẶC B) VÀ (C HOẶC D)
(A HOẶC B) VÀ (KHÔNG C HOẶC B)
Các mệnh đề cũng có thể là nghĩa đen:
A HOẶC B
A VÀ B
Các nghĩa đen được xem trong CNF như các liên từ của mệnh đề và các liên từ có nghĩa là có một mệnh đề duy nhất. Có thể chuyển đổi các câu lệnh thành CNF được viết dưới dạng khác, chẳng hạn như dạng bình thường rời rạc.