Find the conjunctive normal form of a wff.

The command format for CNF is:

<Ed>CNF <<GWFF>>

<<GWFF>>

The result replaces the current wff.

Contains functions required to find conjunctive normal form of a wff.

/home/theorem/tps/bin/cnf.fasl is part of module LAMBDA-CALC.

© 1988-99, Carnegie Mellon University.