Demonstrator for CertainTrust

CertainTrust provides a means for the evaluation of propositional logic terms under uncertainty.

Operand 1 Operator Operand 2 = Result
AND =
OR =
cFusion = DoC
wFusion = Weight1

Weight2
CONSENSUS =
DIS-
-COUNTING
=

Technische Universität Darmstadt Software-Cluster