From b5322200dbe2bdf7ae0361fc6d5d58776d6a9243 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sylvain=20Hall=C3=A9?= Date: Wed, 12 Jun 2024 11:06:03 -0400 Subject: [PATCH] Updated Javadoc for Troolean --- Ltl/src/ca/uqac/lif/cep/ltl/Troolean.java | 26 +++++++++++++++++++++-- 1 file changed, 24 insertions(+), 2 deletions(-) diff --git a/Ltl/src/ca/uqac/lif/cep/ltl/Troolean.java b/Ltl/src/ca/uqac/lif/cep/ltl/Troolean.java index 8e2d781..73e0328 100755 --- a/Ltl/src/ca/uqac/lif/cep/ltl/Troolean.java +++ b/Ltl/src/ca/uqac/lif/cep/ltl/Troolean.java @@ -25,8 +25,30 @@ /** * Implementation of a three-valued logic. The "Troolean" type - * has three values: TRUE, FALSE and INCONCLUSIVE (which can also - * stand for UNKNOWN). + * has three values: TRUE ("⊤"), FALSE ("⊥") and INCONCLUSIVE ("?", + * which can also stand for UNKNOWN). The truth table for Troolean connectives + * is defined as follows: + *

+ * + * + * + * + * + *
∧⊥?⊤
⊥⊥⊥⊥
?⊥??
⊤⊥?⊤
+ *

+ * + * + * + * + * + *
∨⊥?⊤
⊥⊥?⊤
???⊤
⊤⊤⊤⊤
+ *

+ * + * + * + * + * + *
¬
⊥⊤
??
⊤⊥
*/ public class Troolean extends Constant {