In this problem, we will give another proof that the set of connectives {-, A, V}...
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
In this problem, we will give another proof that the set of connectives {-, A, V} is adequate for propositional (Boolean logic.) To do this, we will show that every n-ary Boolean operator (n > 1) F(p1,..., Pn) is induced by a propositional formula which uses the connectives , A, and V only. The proof is by induction on n, with the case n = 1 being easy. To prove the claim for n+1 assuming that every n-ary Boolean operator is express- ible in terms of ¬, A and V, proceed as follows: suppose F(p1,..., Pn, Pn+1) is an (n + 1)-ary Boolean operator. Consider the following two n-ary Boolean operators F1(P1, ... , Pn) = F(p1;...,Pn, T) F2(P1, ..., Pn) = F(p1,..., Pn, F) obtained from F by fixing the value of the (n+ 1)-th variable pn+1 to be T and F, respectively. Apply the inductive hypothesis on F1 and F2, to get the formulas A1 and A2, and consider the formula (A1 ^ Pn+1) V (A2 A-Pn+1). Remark: One can refine the result of this problem even further. Namely, for a formula obtained in this way, using tivity and De Morgan's laws repeatedly, one can show that the formula is equivalent to a disjunction of conjunctions of literals. So, every Boolean operator is induced by a formula (DNF.) This fact was stated, without proof, in MTH110. -, A, and V only, using distribu- S. hich in a disjunctive normal form In this problem, we will give another proof that the set of connectives {-, A, V} is adequate for propositional (Boolean logic.) To do this, we will show that every n-ary Boolean operator (n > 1) F(p1,..., Pn) is induced by a propositional formula which uses the connectives , A, and V only. The proof is by induction on n, with the case n = 1 being easy. To prove the claim for n+1 assuming that every n-ary Boolean operator is express- ible in terms of ¬, A and V, proceed as follows: suppose F(p1,..., Pn, Pn+1) is an (n + 1)-ary Boolean operator. Consider the following two n-ary Boolean operators F1(P1, ... , Pn) = F(p1;...,Pn, T) F2(P1, ..., Pn) = F(p1,..., Pn, F) obtained from F by fixing the value of the (n+ 1)-th variable pn+1 to be T and F, respectively. Apply the inductive hypothesis on F1 and F2, to get the formulas A1 and A2, and consider the formula (A1 ^ Pn+1) V (A2 A-Pn+1). Remark: One can refine the result of this problem even further. Namely, for a formula obtained in this way, using tivity and De Morgan's laws repeatedly, one can show that the formula is equivalent to a disjunction of conjunctions of literals. So, every Boolean operator is induced by a formula (DNF.) This fact was stated, without proof, in MTH110. -, A, and V only, using distribu- S. hich in a disjunctive normal form
Expert Answer:
Answer rating: 100% (QA)
When n1 then we have a unary operator and it can be represented usin... View the full answer
Posted Date:
Students also viewed these programming questions
-
In this problem we consider annual U.S. lumber production over 30 years. The data were obtained from the U.S. Department of Commerce Survey of Current Business and are presented in Table 16.5 a. Plot...
-
In this problem we consider sending real-time voice from Host A to Host B over a packet-switched network (VoIP). Host A converts analog voice to a digital 64 kbps bit stream on the fly. Host A then...
-
In this problem we will visit United Rentals Inc. (URI), which was introduced at the beginning of the chapter. The following table shows the monthly return on URI stock and on the S&P 500 stock index...
-
The operations of Balloons Ltd. generated the following data for its current December 31 taxation year: Business losses (150,000) Dividends received and deducted (Division C) 25,000 Bond interest...
-
Jefferson Framers engaged in the following transactions: a. Purchased land for $15,200 cash b. Purchased equipment for $23,600 in exchange for a one-year, 8 percent note payable c. Purchased office...
-
Distinguish between the sales value at splitoff method and the NRV method.
-
For each of the situations listed, identify the primary standard from the IMA Statement of Ethical Professional Practice that is violated (competence, confidentiality, integrity, or credibility)....
-
Three entrepreneurs were looking to start a new brewpub near Sacramento, California, called Roseville Brewing Company (RBC). (See the Managerial Application Calculating Break-Even Points for a...
-
6. For an SHM oscillator, the amplitude is 5 cm and its time period is 4 seconds. The minimum time taken by the particle to pass between points which are at distances 4 cm and 3 cm from the centre of...
-
At the beginning of 2021, Thompson Service, Inc., showed the following amounts in the stockholders equity section of its balance sheet. The transactions relating to stockholders equity during the...
-
A square and a circle are placed so that the circle is outside the square and tangent to a side of the square. The sum of the length of one side of the square and the circle's diameter is 12 feet, as...
-
List the five strategic alternatives that marketers can utilize during the global product planning process.
-
Identify the stages a company goes through, and the problems it is likely to encounter, as it gains experience as an exporter.
-
Explain the marketing basis of psychographic segmentation.
-
Explain the advantages and disadvantages of using a contract manufacturer.
-
Briefly explain the issues of potential export problems with regards to logistics.
-
1. Design a Register File with 8 registers in 8 bits. Add two parallel write ports and one read port. You can draw registers as boxes, indicate all necessary signals. You can use any logic component...
-
Horse serum containing specific antibody to snake venom has been a successful approach to treating snakebite in humans. How do you think this anti-venom could be generated? What are some advantages...
-
Assume the following information about Johnson & Johnson (ticker: JNJ). JNJs equity beta is 0.60. The yield on 10-year treasuries is 3%, and you estimate the market risk premium to be 6%....
-
You work in Walt Disney Companys corporate finance and treasury department and have been assigned to the team estimating Disneys WACC. You must estimate this WACC in preparation for a team meeting...
-
Suppose Starbucks is considering introducing a new low-calorie blended coffee drink called FrapZero. The firm believes that the drinks flavor and appeal to calorie-conscious drinkers will make it a...
Study smarter with the SolutionInn App