![ondreabyes225pcr83r](/avatars/16350.jpg)
ondreabyes225pcr83r
02.10.2019 •
Mathematics
Convert the following expression to cnf (conjunctive normal form) format using the propositional laws:
(p → q) → r
in your answer make sure that you (1) show your steps (2) do not skip any steps and (3) justify each step with the name of the law being used.
part(b) [50 points].
(i)(25 points) prove that the method of affirming (modus ponens) is sound using truth tables.
(ii)(25 points) prove that the method of denying (modustollens) is sound using truth tables.
Solved
Show answers
More tips
- S Science and Technology Exploring Our Galaxy: How Many Planets are in the Milky Way?...
- S Science and Technology Colliders: How They Work and Why They Matter...
- A Animals and plants Unraveling the Mystery of Loch Ness: What Does the Loch Ness Monster Look Like?...
- L Leisure and Entertainment How Many Seasons are There in the TV Show Interns?...
- S Sport Playing Bowling: Rules and Advice for Novices...
- L Leisure and Entertainment The Best Film of 2010: A Look Back at the Academy Awards...
- S Sport How to Learn Swimming? Simple Tips for Beginners...
- C Computers and Internet What is Web 2.0 and How Does it Work?...
- C Computers and Internet War of Social Media: Which Platform is the Leader?...
- C Computers and Internet How to Get Rid of Spam in ICQ?...
Answers on questions: Mathematics
- M Mathematics Can someone answer this for me pls?...
- M Mathematics Me it just hard for a newbie like me...
- P Physics What happens when white light shines onto a red filter?...
- E English What does the law say if the life of a Venetian citizen is threatened? How is this significant in the court case?...
- P Physics How can we change the wavelength to increase energy transmitted by mechanical waves...
- E English 1.Quindlen, Lincoln and King all allude to the same line in The Declaration of Independence. That line is:. Single choice. (4 Points) E pluribus unum A house divided against itself...
- S Social Studies Influenced by surrealism, describes a style that focuses on the unconscious and nonrepresentative subjects....
Ответ:
See steps below
Step-by-step explanation:
a)
The last expression is in CNF.
b)
i)
Modus Ponens states the following,
If (p implies q) is true and p is true, then q is true.
By watching the truth table of implication
We can notice that the only row that satisfies
(p implies q) is true and p is true
is the first row, so q must be true.
ii)
Modus Tollens states that if (p implies q) is true and (not q) is true, then (not p) is true.
By watching the following truth table
We can notice that the only row that satisfies (p implies q) is true and (not q) is true, is the fourth row, so (not p) must be true.
Ответ:
Step-by-step explanation:
Given expression
.
Let us simplify given rational expression in smaller parts.
Combining all terms together, we get
Therefore,