Question: Consider the formula: (pi ^ q1) V (p2 ^ q2) V ... V (pn 1 gn) where n > 2 and the p; and

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?

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 Algorithms Questions!

155.Determine the cost of Work-in-Process, finished goods, and cost of goods sold AFTER allocation of the underapplied or overapplied overhead for the period. Manufacturing overhead for the month was...

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

THE UNIVERSITY OF SYDNEY MATH3066 ALGEBRA AND LOGIC Semester 1 2017 First Assignment This assignment is worth 15% of the overall assessment. Full marks may be obtained by achieving 60 marks (though...

Give the typing rules for Peano natural numbers and their eliminator.(ii) Using the rules given above, define the addition function.] (iii) Let a binary tree be either a leaf Leaf or a node...

The Basics of Financial Mathematics Spring 2003 Richard F. Bass Department of Mathematics University of Connecticut c These notes are 2003 by Richard Bass. They may be used for personal use or class...

-------------------------------------------------------- these equation to help you for solution F F G H . J K L M M A B D E Chapter 11 Queueing Theory 1 2 4 5 6 6 7 8 3 Q-2: (Is it better to train...

Discrete mathematics. I solved the last two problems, but I am having a lot of trouble with the first one. I cannot reduce the proposition. What do I do? Also, if any of the others are incorrect,...

answer the question clearly What is a hierarchical address space? Give an example of an address space which is hierarchical and one which is not. [3 marks] What is the Address Resolution Protocol?...

answer the question clearly Implement a videogame called JavaConk, a computerised version of the game of conkers. Two round conkers should be displayed on the screen. One conker is controlled by the...

An official from the headquarters of your local congressman called today. They are interested in having your airline provide shuttle service for the congressman and/or his staff three to six times...

Hassa completed a self-assessment tool that suggested she is a kinesthetic learner. Based on this example, as she studies for her next test, what might Hassa most likely want to consider doing?

If project 4 must be completed before project 3 , the constraint would be: x 3 x 4 1 . x 4 - x 3 0 x 3 - x 4 0 . x 3 - x 4 1 .

If the solution to a set of 3 linear equations is given as the following, describe what the solution looks like and give an example of a vector in the solution set (if it exists): a) ...

Farmer Jones must determine how many acres of com and wheat to plant this year. An acre of wheat yields 25 bushels of wheat and requires 10 hours of labor per week. An acre of corn yields 10 bushels...

Exxon-Mobile 2018 or 2019 Annual Report , you need to research their AR to understand how they recognize revenue and keep in mind they have many diverse sources of revenue. Why you believe it...

Explain in detail the effect to the organization of changing the costing method.

Share with your classmates your list of five things that "Bug You."\ Think about each one and share one with your classmates that you think you might be able to create a cool solution or invention...

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

Assuming a model With V(i) = 2, what is the generalized regression estimator of ty?

Using the data in nhanes.dat, fit a straight line regression model predicting y = waist circumference (variable bmxwaist) from x =thigh circumference (variable bmxthicr). You plotted these data in...

The linearization estimator of V () can be found by the method outlined in Section 9.1 (see Shah et al., 1977). However, the calculations are easier using the DemnatiRao (2004) method discussed in...