Định nghĩa Disjunctive Normal Form (DNF) là gì?
Disjunctive Normal Form (DNF) là Mẫu Bình thường rời rạc (DNF). Đây là nghĩa tiếng Việt của thuật ngữ Disjunctive Normal Form (DNF) - một thuật ngữ thuộc nhóm Technology Terms - Công nghệ thông tin.
Độ phổ biến(Factor rating): 5/10
Hình thức bình thường rời rạc (DNF) là bình thường 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 nó là một phân ly của liên từ với mỗi biến và phủ định của nó là mặt 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 đều là phòng không độc đáo, như tất cả các hình thức bình thường rời rạc cho các đề xuất cùng là đôi bên cùng có tương đương.
Xem thêm: Thuật ngữ công nghệ A-Z
Giải thích ý nghĩa
Một công thức logic là ở dạng bình thường rời rạc khi và chỉ khi có một sự tồn tại của luân phiên của một hoặc nhiều liên từ một hoặc nhiều chữ. Một công thức được coi là đầy đủ hình thức bình thường rời rạc nếu tất cả các biến có liên quan được thể hiện duy nhất một lần trong mỗi khoản. Tương tự như dạng chuẩn hội, các nhà khai thác mệnh đề ở dạng bình thường rời rạc là giống nhau: AND, OR và NOT.
What is the Disjunctive Normal Form (DNF)? - Definition
Disjunctive normal form (DNF) is the normalization of a logical formula in Boolean mathematics. In other words, a logical formula is said to be in disjunctive normal form if it is a disjunction of conjunctions with every variable and its negation is present once in each conjunction. All disjunctive normal forms are non-unique, as all disjunctive normal forms for the same proposition are mutually equivalent.
Understanding the Disjunctive Normal Form (DNF)
A logical formula is in disjunctive normal form if and only if there is an existence of alternation of one or more conjunctions of one or more literals. A formula is considered as in full disjunctive normal form if all the variables involved are represented only once in every clause. Similar to conjunctive normal form, the propositional operators in disjunctive normal form are same: AND, OR and NOT.
Thuật ngữ liên quan
- Conjunctive Normal Form (CNF)
- Fourth Normal Form (4NF)
- Third Normal Form (3NF)
- First Normal Form (1NF)
- Commit
- Access Modifiers
- Acyclic
- Appending Virus
- Armored Virus
- Binder
Source: Disjunctive Normal Form (DNF) là gì? Technology Dictionary - Filegi - Techtopedia - Techterm