Answer to Question #178255 in Discrete Mathematics for Ayesha

Question #178255

a) Show that the following logical equivalences hold for the Peirce arrow↓, where


P ↓Q = ~ (P ∨ Q).

P ∨ Q = (P ↓ Q) ↓ (P ↓ Q)

P ∧ Q= (P ↓ P) ↓ (Q ↓ Q)

b) Show that for the Shuffer stroke |

P ∧ Q = (P | Q) | (P | Q)


c) Use the result from (b) and example 2.4.7 from book to write P ∧ (∼Q ∨ R) using only

Shuffer strokes


1
Expert's answer
2021-04-15T07:52:22-0400

(a) By the definition of piece arrow-

   

   ~

 

   =~


  We have derived that is logically equivalent with ~P

      ~


(b) =(~( (~

                      


(c) =(~( (~(

                      



Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

No comments. Be first!

Leave a comment

Ask Your question

LATEST TUTORIALS
New on Blog
APPROVED BY CLIENTS