Logica
  Truth Table Clausal Form Unification Transformation Deduction Resolution Epilog  

First Expression:


Second Expression:



Result:




 
© 2001-2007 Stanford University Logic Group. All rights reserved.
Comments to Michael Genesereth.