Question

In: Computer Science

1. Let p, q, r, and s be propositional variables. Which of the following expressions would...

1. Let p, q, r, and s be propositional variables. Which of the following expressions would not be formulas in conjunctive normal form? Why?

(a) p ∨ p ∨ p

(b) p ∧q ∧ r

(c) (p ∧ q) ∨ (p ∧ r)

(d) ¬p ∧¬p ∧¬p

(e) p ∧ q→ p

(f) ¬p ∨¬p ∨¬p

(g) s

(h) ¬(p ∨ q ∨ r)

(i) ¬p ∨ q ∨ r

(j) (p ∨¬q) ∧ (¬q ∨r) ∧ (¬p ∨s) ∧ (¬p ∨¬q ∨¬r ∨¬s)

Solutions

Expert Solution


Related Solutions

Prove p → (q ∨ r), q → s, r → s ⊢ p → s
Prove p → (q ∨ r), q → s, r → s ⊢ p → s
Suppose S = {p, q, r, s, t, u} and A = {p, q, s, t}...
Suppose S = {p, q, r, s, t, u} and A = {p, q, s, t} and B = {r, s, t, u} are events. x p q r s t u p(x) 0.15 0.25 0.2 0.15 0.1 (a) Determine what must be p(s). (b) Find p(A), p(B) and p(A∩B). (c) Determine whether A and B are independent. Explain. (d) Arer A and B mutually exclusive? Explain. (e) Does this table represent a probability istribution of any random variable? Explain.
For p, q ∈ S^1, the unit circle in the plane, let d_a(p, q) = min{|angle(p)...
For p, q ∈ S^1, the unit circle in the plane, let d_a(p, q) = min{|angle(p) − angle(q)| , 2π − |angle(p) − angle(q)|} where angle(z) ∈ [0, 2π) refers to the angle that z makes with the positive x-axis. Use your geometric talent to prove that d_a is a metric on S^1.
Let p and q be two linearly independent vectors in R^n such that ||p||_2=1, ||q||_2=1 ....
Let p and q be two linearly independent vectors in R^n such that ||p||_2=1, ||q||_2=1 . Let A=pq^T+qp^T. determine the kernel, nullspace,rank and eigenvalue decomposition of A in terms of p and q.
FOR EAICH PAIR OF PROPOSITIONS P AND Q STATE WHETHER ON NOT p=q p=(s→(p ∧¬r)) ∧...
FOR EAICH PAIR OF PROPOSITIONS P AND Q STATE WHETHER ON NOT p=q p=(s→(p ∧¬r)) ∧ ((p→(r ∨ q)) ∧ s), Q=p ∨ t
Let p, q, g : R → R be continuous functions. Let L[y] := y'' +...
Let p, q, g : R → R be continuous functions. Let L[y] := y'' + py' + qy. (i) Explain what it means for a pair of functions y1 and y2 to be a fundamental solution set for the equation L[y] = 0. (ii) State a theorem detailing the general solution of the differential equation L[y] = g(t) in terms of solutions to this, and a related, equation.
Let P=(−1,3,2), Q=(55,17,72), R=(55,−81,72) and S=(51,−26,67). Is S inside the triangle PQR?
Let P=(−1,3,2), Q=(55,17,72), R=(55,−81,72) and S=(51,−26,67). Is S inside the triangle PQR?
Let S ⊆ R be a nonempty compact set and p ∈ R. Prove that there...
Let S ⊆ R be a nonempty compact set and p ∈ R. Prove that there exists a point x_0 ∈ S which is “closest” to p. That is, prove that there exists x0 ∈ S such that |x_0 − p| is minimal.
Four projects P, Q, R and S, are available to a company which is facing shortages...
Four projects P, Q, R and S, are available to a company which is facing shortages of capital over the next years but expects capital to be freely available thereafter. P ‘000 € Q '000 € R ‘000 € S ‘000 € Total capital required over life of project 20 30 40 50 Capital required in next year 20 10 30 40 Net present value (NPV) of project at company’s cost of capital 60 40 80 80 In what sequence...
Show that if P;Q are projections such that R(P) = R(Q) and N(P) = N(Q), then...
Show that if P;Q are projections such that R(P) = R(Q) and N(P) = N(Q), then P = Q.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT