| Question 1 UGC NET June-2020 What kind of clauses are available in conjunctive normal form? |
| A – Disjunction of literals |
| B – Disjunction of variables |
| C – Conjunction of literals |
| D – Conjunction of variables |
Show Answer With Best Explanation
Answer – A
Explanation:
In Boolean logic, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of one or more clauses, where a clause is a disjunction of literals; otherwise put, it is a product of sums or an AND of ORs.
Example :
->B ^ C
->(A ˅ B ˅ ¬C)^(¬A ˅ B ˅ ¬C)