Utility methods for truth value operations
Class methods
and_tv(tv1 : TruthValue, tv2 : TruthValue) : TruthValue
Logical AND of two truth values
implies_tv(tv1 : TruthValue, tv2 : TruthValue) : TruthValue
Implication of two truth values
not_tv(tv : TruthValue) : TruthValue
Logical NOT of a truth value
or_tv(tv1 : TruthValue, tv2 : TruthValue) : TruthValue
Logical OR of two truth values