CNF : EDOP

CNF is an editor command.
Find the conjunctive normal form of a wff.
 
The command format for CNF is:

<Ed>CNF <<GWFF>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


CNF : TPS-FILE

CNF is a file.
Contains functions required to find conjunctive normal form of a wff.
/home/theorem/tps/bin/cnf.fasl is part of module LAMBDA-CALC.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage