Construct a truth table for the given statement form

Assignment Help Theory of Computation
Reference no: EM13811424

1. Construct a truth table for the following statement form, then state whether or not the given statement form is a tautology.

[p→(q→r)]↔[(~p)∨((~p)∨(~q)∨r)].

2. Write the negation of

(∀x ∈ Z)(∃y ∈ Z) such that x + y > 0.

Is the original statement true or false? Justify your answer.

3. Determine whether the following argument is valid.

If today is Friday, then I do not study.

If I do not study, then I party.

I party and today is not Friday.

Therefore I do study.

4. State whether or not the following statements are true or false. If the statement is true prove it, if it is false give a counter example.

(i) ∀a,b ∈ R √(a+b) = √a + √b.

(ii) ∀a,b ∈ Z, if 2a + b is even then a and b are even.

(iii) ∃a ∈ Z, s.t. (2a + 1)/2 is odd.

(iv) ∀n ∈ z, if n2 is even then n is even.

Reference no: EM13811424

Questions Cloud

How does video brand globalization and resistance affect you : How does the video "Brands, Globalization & Resistance" affect you? How the logo represents the brand?
Consumerism and planned obsolescence : Consumerism and Planned Obsolescence
Display the invoice number and the invoice date : Display the invoice number, the invoice date, the customer id, and the customer name for each order in the database
Risk-free rate-what is the market risk premium : Porter Inc's stock has an expected return of 12.25%, a beta of 1.25, and is in equilibrium. If the risk-free rate is 5.00%, what is the market risk premium?
Construct a truth table for the given statement form : Construct a truth table for the given statement form, then state whether or not the given statement form is a tautology - Determine whether the following argument is valid.
Considering two bonds-yield to maturity : You are considering two bonds. Bond A has a 9% annual coupon while Bond B has a 6% annual coupon. Both bonds have a 7% yield to maturity, and the YTM is expected to remain constant.
Describe how a bill becomes a law at the national level : Describe how a bill becomes a law at the national level, in a fully developed essay. Support your work with cited sources, references to Lecture Notes, or URLs where you obtained your information.
What is the portfolios beta-invested in Stock : Bill Dukes has $100,000 invested in a 2-stock portfolio. $35,000 is invested in Stock X and the remainder is invested in Stock Y. X's beta is 1.50 and Y's beta is 0.70. What is the portfolio's beta?
Number of additional topics : We have addressed a number of additional topics during the semester. You need to apply these topics to your database project if applicable.

Reviews

Write a Review

Theory of Computation Questions & Answers

  Finite-state machine design

Create a finite-state machine design to turn your FPGA development board into a simple programmable music box.

  Redundant sequence identi cation

Redundant sequence identi cation

  Compute a shortest superstring

Dynamic programming algorithm to compute a shortest superstring.

  Propositional and predicate logic

Write down a structural induction principle for the PlayTree free type

  Design a syntactic analyzer

Design a syntactic analyzer for the language specified by the grammar

  Design unambiguous grammar to parse expressions

Write a program would read two numbers and then print all numbers between the first and the second, inclusive. Design unambiguous grammar to parse expressions

  Consider a logic function with three outputs

Consider a logic function with three outputs,  A ,  B , and  C , and three inputs,  D ,  E , and  F . The function is defined as follows:  A  is true if at least one input is true,  B  is true

  Considering a single programmed operating system

Considering a single programmed operating system, what is the minimal total time required to complete executions of the two processes? You should explain your answer with a diagram.

  How to construct an nfa

Give a construction that assumes you are given a DFA for L and show how to construct an NFA (with or without ε-moves) to recognize sort(L).

  Equivalence classes to construct minimal dfa for language

How many equivalence classes does this relation have and what are they? Use these equivalence classes to construct the minimal DFA for the language.

  Impact of moore-s law on data center costs

Discuss the impact of Moore's law on data center costs on such things as servers and communications equipment. List at least 3 steps or recommendations your data center can take to offset some or all of the effect of Moore's law.

  Problem encountered in statements in predicate logic

How the problem would be encountered in attempting to represent the following statements in Predicate logic. it should be possible to: John only likes to see French movies.

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd