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?
- 0 followers
- 0 badges
- Thread Starter
- 20-03-2012 19:09
- 4 followers
- 2 badges
- PS Helper
- 20-03-2012 19:44
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.Last edited by roblee; 20-03-2012 at 19:51. Reason: Missed step. Almost fell down stairs.