home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD1.mdf / snobol / aisnobol / wang.in < prev    next >
Text File  |  1987-10-16  |  176b  |  6 lines
  1. IMP(NOT(OR(P,Q)),NOT(P))
  2. NOT(IMP(NOT(OR(P,Q)),NOT(P)))
  3. IMP(AND(NOT(P),NOT(Q)),EQU(P,Q))
  4. IMP(IMP(OR(P,Q),OR(P,R)),OR(P,IMP(Q,R)))
  5. IMP(IMP(OR(P,Q),OR(P,R)),AND(P,IMP(Q,R)))
  6.