All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars    
perplexus dot info

Home > Algorithms
Logical connectives (Posted on 2012-01-24) Difficulty: 3 of 5
Let P|Q mean "P and Q are both false." P|Q is true if P and Q are both false, and false otherwise. Define the following logical connectives just using P, Q, |, and parentheses.

1. ~P (not P)
2. P&Q (P and Q)
3. PVQ (P or Q)
4. P->Q (P implies Q)
5. P<->Q (P if and only if Q)

See The Solution Submitted by Math Man    
Rating: 4.5000 (2 votes)

Comments: ( Back to comment list | You must be logged in to post comments.)
Solution solution | Comment 4 of 6 |

1. ~p:  p|p

2. p&q:  (p|p)|(q|q)

3. pVq:  (p|q)|(p|q)

4. p->q:  ((p|p)|q)|((p|p)|q)

5. p<->q:  ((p|p)|q) | (p|(q|q))

Edited on January 24, 2012, 4:12 pm
  Posted by Charlie on 2012-01-24 16:11:59

Please log in:
Login:
Password:
Remember me:
Sign up! | Forgot password


Search:
Search body:
Forums (0)
Newest Problems
Random Problem
FAQ | About This Site
Site Statistics
New Comments (3)
Unsolved Problems
Top Rated Problems
This month's top
Most Commented On

Chatterbox:
Copyright © 2002 - 2017 by Animus Pactum Consulting. All rights reserved. Privacy Information