I need to solve this predicate , but I don't know how to do that...
¬c xor (¬b∨c) . Please help me if you know?
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:
- (a xor b) = (a and ¬b) or (b and ¬a)
- ¬(a or b) = (¬a and ¬b)
- (a and (b or c)) = (a and b) or (a and c)
- (a or (a and b)) = (a)
Sorry that I can't just give out the answer, I'm sure you understand why.
Thanks for posting! You just need to create an account in order to submit the post
Already a member?
Oops, something wasn't right
please check the following:
Not got an account?
Sign up now
© Copyright The Student Room 2015 all rights reserved
The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.
Register Number: 04666380 (England and Wales), VAT No. 806 8067 22
Registered Office: International House, Queens Road, Brighton, BN1 3XE