Hình thức kết hợp bình thường (cnf) là gì? - định nghĩa từ techopedia

Đị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.

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

Nghĩa đen được xem trong CNF là liên từ của mệnh đề nghĩa đen và liên từ xảy ra 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.