Định nghĩa Conjunctive Normal Form (CNF) là gì?
Conjunctive Normal Form (CNF) là Dạng chuẩn hội (CNF). Đây là nghĩa tiếng Việt của thuật ngữ Conjunctive Normal Form (CNF) - một thuật ngữ thuộc nhóm Technology Terms - Công nghệ thông tin.
Độ phổ biến(Factor rating): 5/10
Dạng chuẩn hội (CNF) là một cách tiếp cận để Boolean logic diễn tả công thức như liên từ các điều khoản với AND hoặc OR. Mỗi khoản nối với nhau bằng một kết hợp, hoặc AND, phải là một chữ hoặc có chứa một phân ly, hoặc toán tử OR. CNF là hữu ích cho minh định lý tự động.
Xem thêm: Thuật ngữ công nghệ A-Z
Giải thích ý nghĩa
Trong dạng chuẩn hội, báo cáo trong logic Boolean là liên từ các điều khoản với các điều khoản của disjunctions. Nói cách khác, một tuyên bố là một loạt các ORs nối với nhau bằng AND.
What is the Conjunctive Normal Form (CNF)? - Definition
Conjunctive normal form (CNF) is an approach to Boolean logic that expresses formulas as conjunctions of clauses with an AND or OR. Each clause connected by a conjunction, or AND, must be either a literal or contain a disjunction, or OR operator. CNF is useful for automated theorem proving.
Understanding the Conjunctive Normal Form (CNF)
In conjunctive normal form, statements in Boolean logic are conjunctions of clauses with clauses of disjunctions. In other words, a statement is a series of ORs connected by ANDs.
Thuật ngữ liên quan
- Boolean Logic
- Disjunctive Normal Form (DNF)
- OR Operator
- Boolean Algebra
- Commit
- Access Modifiers
- Acyclic
- Appending Virus
- Armored Virus
- Binder
Source: Conjunctive Normal Form (CNF) là gì? Technology Dictionary - Filegi - Techtopedia - Techterm