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