Trailing-Edge
-
PDP-10 Archives
-
decuslib20-01
-
decus/20-0020/logic.dir
There are 2 other files named logic.dir in the archive. Click here to see a list.
100 THE FOLLOWING PROCEDURE IS TO BE FOLLOWED TO USE ANY
110 PROGRAM IN THIS GROUP:
120 TYPE 'OLD' AND SUPPLY THE PROGRAM NAME DESIRED
130 FOLLOWED BY EXTENSION ".LOG "
140
1000 BASIC PROGRAMS---TYPE 'LIST' FOR DIRECTIONS.
1002
1004 PROGRAM NAME DESCRIPTION
1005 ------------ -----------
1006
1020 NTRUTH TRUTH TABLE CALCULATOR FOR N-VALUED LOGIC
1030 TAUTOL TAUTOLOGY CHECK (PROPOSITIONAL LOGIC)
1040 TURMUL TURING MACHINE SIMULATOR
1050 WELLFM WELL-FORMED FORMULA CHECK (PROPOSITIONAL LOGIC)
4999
5000 ****PLEASE NOTE****
5001
5002 IF ANY PROGRAMS HAVE BEEN WRITTEN AND ARE SUITABLE FOR
5003 INCLUSION IN THIS GROUP, PLEASE REFER THEM TO THE
5004 DECUS LIBRARY MAYNARD/MASS.
5005
5006 ALGOL PROGRAMS--TYPE 'LIST' FOR DIRECTIONS.
5007
5008 PROGRAM NAME DESCRIPTION
5009 ------------ -----------
5010
5020 NONE IN LIBRARY YET