Question

Prove that if a,b,c are any statements,then... 1.a∧b⇒a∨b 2. ((a⇒b)∧(a⇒c) )⇒(a⇒c)

Answer 1

Answer:

We like to prove:

A “conjunction of disjunctions”

(A ∨ ¬B) ∧ (B ∨ ¬C ∨ ¬D)

Clause Clause

literals

• Any KB can be converted into CNF.

• In fact, any KB can be converted into CNF-3 using clauses with at most 3 literals.

Explanation:

plz mark me brainliest