# problem with predicate

Announcements Posted on
Why bother with a post grad? Are they even worth it? Have your say! 26-10-2016
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. Oops, you need to agree to our Ts&Cs to register

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:
Today on TSR

### University open days

Is it worth going? Find out here