# problem with predicate

Announcements Posted on
Will you get the grades you need for uni? Get prepared today and de-stress, sign up to email alerts for course places! 02-06-2015
Waiting on IB results? Our IB results hub explains everything you need to know 01-06-2015
1. I need to solve this predicate , but I don't know how to do that...

2. There are two ways of doing this.
One is by filling out this truth table, and then checking it against the operators that you've been taught (AND, OR, NAND, XOR, NOR, XNOR etc.) to see which one it's equivalent to:

The other way is to simplify it algebraically as far as possible, using the following rules in order:

1. (a xor b) = (a and ¬b) or (b and ¬a)
2. ¬(a or b) = (¬a and ¬b)
3. (a and (b or c)) = (a and b) or (a and c)
4. (a or (a and b)) = (a)

Sorry that I can't just give out the answer, I'm sure you understand why.

## Register

Thanks for posting! You just need to create an account in order to submit the post
1. this can't be left blank
2. this can't be left blank
3. this can't be left blank

6 characters or longer with both numbers and letters is safer

4. this can't be left empty
1. By joining you agree to our Ts and Cs, privacy policy and site rules

Updated: March 20, 2012
TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
New on TSR

### Do friends/family affect your relationship?

Service unavailable - The Student Room

# Oh no!

## The Student room is currently unavailable

Don't worry – help is on its way
and we'll be back up and running soon!

x

# Think you'll be in clearing or adjustment?

## Hear direct from unis that want to talk to you

Get email alerts for university course places that match your subjects and grades. Just let us know what you're studying.

Reputation gems: You get these gems as you gain rep from other members for making good contributions and giving helpful advice.