Don't like ads? PRO users don't see any ads ;-)
Public Pastes
Guest

Untitled

By: a guest on Apr 26th, 2012  |  syntax: None  |  size: 0.61 KB  |  hits: 17  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. set(hyper_res).
  2.  
  3. list(usable).
  4. -output(0,1,1,0,z) | answer(z).
  5. -answer(z).
  6. -output(x1,x2,x3,x4,u) | -output(y1,y2,y3,y4,v) | output(and(x1,y1),and(x2,y2),and(x3,y3),and(x4,y4),andgate(u,v)).
  7. -output(x1,x2,x3,x4,u) | -output(y1,y2,y3,y4,v) | output(or(x1,y1),or(x2,y2),or(x3,y3),or(x4,y4),orgate(u,v)).
  8. -output(x1,x2,x3,x4,u) | output(not(x1),not(x2),not(x3),not(x4),notgate(u)).
  9. end_of_list.
  10.  
  11. list(demodulators).
  12. equal(and(x,0),0).
  13. equal(and(x,1),x).
  14. equal(or(x,0),x).
  15. equal(or(x,1),1).
  16. equal(not(0),1).
  17. equal(not(1),0).
  18. end_of_list.
  19.  
  20. list(sos).
  21. output(0,0,1,1,i1).
  22. output(0,1,0,1,i2).
  23. end_of_list.
create a new version of this paste RAW Paste Data