Consider the formula: (pi ^ q1) V (p2 ^ q2) V ... V (pn 1 gn)...
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
Consider the formula: (pi ^ q1) V (p2 ^ q2) V ... V (pn 1 gn) where n > 2 and the p; and q; are propositional variables. This proposition has n clauses and length 4n - 1 if we count each propositional variable and operator as adding 1 to the length and we ignore the parentheses. = (A) First, write the CNF version of the proposition when n 2. Give a justification for each step. THIS SUBPROBLEM SHOULD BE SUBMITTED IN CARNAP. ONLY AN- SWERS SUBMITTED IN CARNAP WILL BE GRADED. (B) When you distribute the and over the or, what happens to the number of clauses? (C) How long is your conjunctive normal form of this formula, using the same conventions as in the problem statement? (D) For general n, how many clauses are in the conjunctive normal form as a function of n? How long is it? Consider the formula: (pi ^ q1) V (p2 ^ q2) V ... V (pn 1 gn) where n > 2 and the p; and q; are propositional variables. This proposition has n clauses and length 4n - 1 if we count each propositional variable and operator as adding 1 to the length and we ignore the parentheses. = (A) First, write the CNF version of the proposition when n 2. Give a justification for each step. THIS SUBPROBLEM SHOULD BE SUBMITTED IN CARNAP. ONLY AN- SWERS SUBMITTED IN CARNAP WILL BE GRADED. (B) When you distribute the and over the or, what happens to the number of clauses? (C) How long is your conjunctive normal form of this formula, using the same conventions as in the problem statement? (D) For general n, how many clauses are in the conjunctive normal form as a function of n? How long is it?
Expert Answer:
Related Book For
Microeconomics An Intuitive Approach with Calculus
ISBN: 978-0538453257
1st edition
Authors: Thomas Nechyba
Posted Date:
Students also viewed these algorithms questions
-
Let A, B be sets. Define: (a) the Cartesian product (A B) (b) the set of relations R between A and B (c) the identity relation A on the set A [3 marks] Suppose S, T are relations between A and B, and...
-
Briefly describe ASCII and Unicode and draw attention to any relationship between them. [3 marks] (b) Briefly explain what a Reader is in the context of reading characters from data. [3 marks] A...
-
Shauna immigrated to Canada in her 30s and has worked full time earning above YMPE throughout. Now she is a few years from retirement and has found out that her monthly OAS at age 65 will be $520....
-
Refer to the Weber's Data Set above. Compute the standard direct labour cost per hamburger. Weber's Data Set used for $10-8 through $10-12: The standard direct materials for a regular Weber's...
-
Torque required to turn a friction bearing (Fig. 3A.1). Calculate the required torque in lbs- ft and power consumption in horsepower to turn the shaft in the friction bearing shown in the figure. The...
-
Define jurisdiction in both of its basic meanings.
-
Recently the Polish General Corporation, well-known for manufacturing appliances and automobile parts, initiated a $13 billon project to produce automobiles. A great deal of learning on the part of...
-
If information is reliable, does that guarantee its credibility as well?
-
Skylar and Walter Black have been married for 25 years. They live at 883 Scrub Brush Street, Apt. 52B, Las Vegas, NV 89125. Skylar is a stay-at-home parent and Walt is a high school teacher. Skylars...
-
propose a synthesis for 2,5-dimethyl-hexan-3-one using 2-methyl-1-propanol as your only carbon source. This means that all carbons in your ketone target molecule must be shown to originally come from...
-
3:0 X :- 1 Consider the following algorithm. y : n while (x < y) do for i:=1 to n do j : j + 5 end for X=X+2 yy / 2 end while What is the "smallest" big-oh (O()) notation for the above algorithm?...
-
QUESTION 9 Bank Asset Bond A Bank Liability L Settlement 6/27/2019 Settlement 6/27/2019 Maturity 6/27/2029 Maturity 6/27/2022 Rate 10% Rate 8% Yield 8% Yield 7% Redemption 100 Redemption 100...
-
A person borrows $60,000 at 6% (yearly) and makes monthly payments of $400 B=60000 (1+i)"9-400](1+x)" B = P(1+i) - RICH) ] - B = 80931.01 - 27408.0) 1 What is the balance of the loan after 5 years?...
-
Provide one thorough example of the accounting concept and theories with the concept, Financial accounting and decsison making. Avoid just using practice exercises. Make high level connections and...
-
Consider the figure below, which shows the application-to-application throughput achieved when two senders are competing at a shared bottleneck link. Suppose that when the overall arrival rate,...
-
The following information is available for the Thompson Company: Sales for year Average invested capital for year Return on investment $1,000,000 $500,000 10% What is the capital turnover ratio? O A....
-
From a medical tourist perspective, compare Shouldice with the traditional hospital in terms of the key factors of competition. Using Table 15-3, why would Shouldice attract patients from outside the...
-
In our discussion of economic versus statutory incidence, the text has focused primarily on the incidence of taxes. This exercise explores analogous issues related to the incidence of benefits from...
-
In the labor market, we can also talk about responsiveness or elasticity with respect to wages (and other prices) on both the demand and supply sides. A: For each of the following statements,...
-
We mentioned in this chapter that the incentives of the prisoners dilemma appear frequently in real world situations. A: In each of the following, explain how these are prisoners dilemmas and suggest...
-
Which of the following is true about cash balance plans? I. Past service credit is available. II. Employer guarantees a minimum rate of return. III. Participants direct investments in hypothetical...
-
Which type of funding vehicle is not approved for 403(b) plans? A. Mutual fund. B. Variable annuity contract. C. Individual securities. D. Fixed annuity contract.
-
Which of the following is a defined benefit plan? A. 403(b). B. 412(i). C. 457(b). D. 457(f).
Study smarter with the SolutionInn App