Convert the following formula into CNF. Write your answers in set notation, using ! as nega- tion. For example, the formula: (QVPVR) A(-PVQ) would be written as: ((P, Q, R), (!P,Q)) (don't forget the outer curly brackets). IMPORTANT: to make sure the auto-grading function works cor- rectly, please use the following rule on the order of the literals and clauses: 1) within each clause, order the literals alphabetically, e.g., write (!P, Q, R) instead of (Q, !P, R), and 2) order the clauses alpha- betically, e.g., write ((!P,Q,R), (Q, R, S)) because the string PQR is before the string QRS in the alphabetical order. If the clauses contain the same propositions, then the one with no negation! has the priority, e.g. write ((P, !Q), (!P,Q)) instead of ((!P,Q), (P, !Q)). i. -PV (QA-R) ii. (PVQ) AR iii. -P+Q in 10 L Dysy R))

Algebra & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter1: Fundamental Concepts Of Algebra
Section1.2: Exponents And Radicals
Problem 92E
icon
Related questions
Question
q2 (d) Solve all parts plz according to question requirements and take a thumb up plz
Convert the following formula into CNF. Write your answers in set notation, using! as nega-
tion. For example, the formula: (QV PVR) A(-P VQ) would be written as: {{P, Q, R), (!P,Q}}
(don't forget the outer curly brackets). IMPORTANT: to make sure the auto-grading function works cor-
rectly, please use the following rule on the order of the literals and clauses: 1) within each clause, order
the literals alphabetically, e.g., write (!P, Q, R) instead of (Q, !P, R), and 2) order the clauses alpha-
betically, e.g., write (!P,Q,R), (Q, R, !S}} because the string PQR is before the string QRS in the
alphabetical order. If the clauses contain the same propositions, then the one with no negation! has the
priority, e.g. write {{P, !Q), (!P,Q)) instead of {{!P,Q), (P, !Q)).
i. -PV (QA-R)
ii. (PVQ) AR
iii. -P→ Q
iv. (Q→ (PVSV-R))
v. (R→S) V-(QV-P)
Transcribed Image Text:Convert the following formula into CNF. Write your answers in set notation, using! as nega- tion. For example, the formula: (QV PVR) A(-P VQ) would be written as: {{P, Q, R), (!P,Q}} (don't forget the outer curly brackets). IMPORTANT: to make sure the auto-grading function works cor- rectly, please use the following rule on the order of the literals and clauses: 1) within each clause, order the literals alphabetically, e.g., write (!P, Q, R) instead of (Q, !P, R), and 2) order the clauses alpha- betically, e.g., write (!P,Q,R), (Q, R, !S}} because the string PQR is before the string QRS in the alphabetical order. If the clauses contain the same propositions, then the one with no negation! has the priority, e.g. write {{P, !Q), (!P,Q)) instead of {{!P,Q), (P, !Q)). i. -PV (QA-R) ii. (PVQ) AR iii. -P→ Q iv. (Q→ (PVSV-R)) v. (R→S) V-(QV-P)
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 4 steps with 4 images

Blurred answer
Recommended textbooks for you
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
College Algebra
College Algebra
Algebra
ISBN:
9781938168383
Author:
Jay Abramson
Publisher:
OpenStax