Hình thức bình thường phân biệt (dnf) là gì? - định nghĩa từ techopedia

Định nghĩa - Dạng bình thường phân biệt (DNF) có nghĩa là gì?

Dạng bình thường phân biệt (DNF) là chuẩn hóa của một công thức logic trong toán học Boolean. Nói cách khác, một công thức logic được cho là ở dạng bình thường rời rạc nếu đó là sự phân biệt các liên từ với mọi biến và phủ định của nó xuất hiện một lần trong mỗi kết hợp. Tất cả các hình thức bình thường rời rạc là không duy nhất, vì tất cả các hình thức bình thường rời rạc cho cùng một đề xuất là tương đương lẫn nhau.

Dạng bình thường phân biệt được sử dụng rộng rãi trong các lĩnh vực như chứng minh định lý tự động.

Techopedia giải thích Mẫu đơn bình thường (DNF)

Một công thức logic ở dạng bình thường rời rạc khi và chỉ khi có sự tồn tại xen kẽ của một hoặc nhiều liên từ của một hoặc nhiều nghĩa đen. Một công thức được coi là ở dạng bình thường hoàn toàn khác biệt nếu tất cả các biến liên quan chỉ được biểu diễn một lần trong mỗi mệnh đề. Tương tự như dạng bình thường kết hợp, các toán tử mệnh đề ở dạng bình thường rời rạc giống nhau: VÀ, HOẶC và KHÔNG.

Tất cả các công thức logic có thể được chuyển đổi thành một dạng bình thường rời rạc tương đương. Tuy nhiên, trong một số trường hợp, sự bùng nổ theo cấp số nhân của hàm logic là có thể do chuyển đổi sang dạng bình thường rời rạc. Một điểm nổi bật khác là bất kỳ hàm Boolean duy nhất nào cũng có thể được biểu diễn chỉ bằng một và một dạng bình thường hoàn toàn khác biệt duy nhất. Với sự trợ giúp của các kỹ thuật như phương pháp bảng chân lý, cây sự thật hoặc bảng tương đương logic, có thể tạo ra dạng bình thường rời rạc cho các công thức logic. K-DNF, một biến thể của dạng bình thường rời rạc, được sử dụng rộng rãi và phổ biến trong nghiên cứu về độ phức tạp tính toán.