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?
problem with predicate Watch
- Thread Starter
- 20-03-2012 20:09
- PS Helper
- 20-03-2012 20: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 20:51. Reason: Missed step. Almost fell down stairs.