In First order logic, if a set of sentence is __________ then resolution will always be able to derive a contradiction.
A. Unsatisfiable
B. Conjunction of literals
C. Disjunction of literals
D. Satisfiable
Answers
Answered by
0
B. Conjunction of litetals
Hope this answer u
Answered by
0
Answer:
From the above given options in the question, In First order logic, if a set of sentence is b)__ Conjunction of literature__ then resolution will always be able to derive a contradiction.
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.
Similar questions