Demonstrator for CertainTrust
CertainTrust provides a means for the evaluation of propositional logic terms under uncertainty.
AND
=
OR
=
