Advertisement
Guest User

derivation

a guest
Nov 25th, 2014
162
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.16 KB | None | 0 0
  1. a b a b =/> c b =/> c
  2. 0 0 0 0
  3. 0 1 0 1
  4. 1 0 0 0
  5. 1 1 1 0
  6.  
  7.  
  8. which means it is in classic logic:
  9. a & -b
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement