Logica
Truth Table
Clausal Form
Unification
Transformation
Deduction
Resolution
Epilog
Expression:
Result:
© 2001-2007 Stanford University Logic Group. All rights reserved.
Comments to
Michael Genesereth
.