Question: UIC Additional Topics: Satisfiability (10 pt.) A compound proposition is said to be satisfiable if there is an assignment of truth values to its variables

 UIC Additional Topics: Satisfiability (10 pt.) A compound proposition is said

UIC Additional Topics: Satisfiability (10 pt.) A compound proposition is said to be satisfiable if there is an assignment of truth values to its variables that makes it true. For example, p A is true when p = 1 and 4 T, thus, pq issatisfiable, When no such assignment exists, the compound proposition is said to be unsatisfiable. For example, PA-p is always false; thus, pa-p is unsatisfiable, To show that a compound proposition is satisfiable, we need to find at least one assignment of truth values to its variables that makes it true. However, lo show that a compound proposition is unsatisfiable, we need to show that every assignment of truth values to its variables makes it false 6. (10 pl., 2.5 pt. each) Dotergine whether each of the following compound propositions is satisfiable or unsatisfiable. Justify your answer a EV-V-V-4) b. V-4(-pva) (Vr) (qv)--) c. (p)AP --P------ d. (-:-))

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!