problem with predicate
University course discussion for computer science and IT.
| Announcements | Posted on | |
|---|---|---|
| Important: please read these guidelines before posting about exams on The Student Room | 28-04-2013 | |
-
- Reputation:
- Exalted and Worshipped Member
- Posts: 1,063
Re: problem with predicateThere 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.
