home *** CD-ROM | disk | FTP | other *** search
/ Simtel MSDOS 1992 June / SIMTEL_0692.cdr / msdos / snobol4 / aisnobol.arc / WANG.IN < prev    next >
Encoding:
Text File  |  1987-10-16  |  176 b   |  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.