What is user for reduces the number of resolvents that can be inferred from two input clauses.
Answers
Answered by
0
From the above given options , the thing that helps in search immensely by reducing the number of resolvents dramatically, which can be inferred from two input clauses is option A) Conjunctive Normal Form.
When there is a conjunction of one or more clauses in Boolean logic, that formula is said to be in Conjunctive Normal Form.
Conjunctive Normal Form is usually represented as AND or OR.
Used in circuit theory and proving theorems which are automated.
Read more on Brainly.in - https://brainly.in/question/12164884#readmore
When there is a conjunction of one or more clauses in Boolean logic, that formula is said to be in Conjunctive Normal Form.
Conjunctive Normal Form is usually represented as AND or OR.
Used in circuit theory and proving theorems which are automated.
Read more on Brainly.in - https://brainly.in/question/12164884#readmore
Similar questions