Homework Help is Here – Start Your Trial Now!
Math
Advanced Math
5. Which of the following formulas are in CNF? a. (q^r) ⇒ (p ^ (q Vr)) b. p^((q^r)) ⇒ (q^r) c. d. ¬q Ar e. ¬(q^r) f. p^ (qVr) ((p^((q^r))) ^ ¬(q ^r))

5. Which of the following formulas are in CNF? a. (q^r) ⇒ (p ^ (q Vr)) b. p^((q^r)) ⇒ (q^r) c. d. ¬q Ar e. ¬(q^r) f. p^ (qVr) ((p^((q^r))) ^ ¬(q ^r))

Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter1: Fundamental Concepts Of Algebra
Section: Chapter Questions
Problem 54RE
See similar textbooks
icon
Related questions
Topic Video
Question

(discrete structure)

5. Which of the following formulas are in CNF? a. -(q Ar) = -(p ^ (q V r)) b. p^ (¬(¬q^ ¬r)) = (q ^ r) c. -((p^ (¬(¬q ^ ¬r))) ^ ¬(q ^ r)) d. ¬q ^ ¬r e. ¬(q ^r) f. pA (q V r)
Transcribed Image Text:5. Which of the following formulas are in CNF? a. -(q Ar) = -(p ^ (q V r)) b. p^ (¬(¬q^ ¬r)) = (q ^ r) c. -((p^ (¬(¬q ^ ¬r))) ^ ¬(q ^ r)) d. ¬q ^ ¬r e. ¬(q ^r) f. pA (q V r)
Expert Solution
steps

Step by step

Solved in 2 steps

SEE SOLUTIONCheck out a sample Q&A here
Blurred answer