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))

Glencoe Algebra 1, Student Edition, 9780079039897, 0079039898, 2018
18th Edition
ISBN:9780079039897
Author:Carter
Publisher:Carter
Chapter1: Expressions And Functions
Section1.2: Order Of Operations
Problem 55PPS
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
Glencoe Algebra 1, Student Edition, 9780079039897…
Glencoe Algebra 1, Student Edition, 9780079039897…
Algebra
ISBN:
9780079039897
Author:
Carter
Publisher:
McGraw Hill
PREALGEBRA
PREALGEBRA
Algebra
ISBN:
9781938168994
Author:
OpenStax
Publisher:
OpenStax
Intermediate Algebra
Intermediate Algebra
Algebra
ISBN:
9780998625720
Author:
Lynn Marecek
Publisher:
OpenStax College
Elementary Algebra
Elementary Algebra
Algebra
ISBN:
9780998625713
Author:
Lynn Marecek, MaryAnne Anthony-Smith
Publisher:
OpenStax - Rice University
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
College Algebra (MindTap Course List)
College Algebra (MindTap Course List)
Algebra
ISBN:
9781305652231
Author:
R. David Gustafson, Jeff Hughes
Publisher:
Cengage Learning