fieg/propositional-calculus

Implementation of a Propositional Calculus in PHP

1.0 2014-06-02 22:20 UTC

This package is auto-updated.

Last update: 2024-11-29 04:57:51 UTC


README

Implementation of a Propositional Calculus in PHP.

Based on the book Artificial Intelligence - foundations of computational agents chapter 5 Propositions and Inference.