Method List
-
#== Literal
-
all Interpretation
-
#evaluate Negation
-
#evaluate Literal
-
#evaluate Conjunction
-
#evaluate Disjunction
-
#evaluate Interpretation
-
#evaluate Implication
-
#evaluations TruthTable
-
#formula Evaluation
-
#initialize Interpretation
-
#initialize Evaluation
-
#initialize Literal
-
#initialize Implication
-
#initialize TruthTable
-
#initialize Conjunction
-
#initialize Negation
-
#initialize Disjunction
-
#interpretation Evaluation
-
#invalid? TruthTable
-
#letter Literal
-
#literals Negation
-
#literals Conjunction
-
#literals Disjunction
-
#literals Literal
-
#literals Implication
-
#satisfied? TruthTable
-
#to_s Conjunction
-
#to_s Negation
-
#to_s Literal
-
#to_s Interpretation
-
#to_s Evaluation
-
#to_s Implication
-
#to_s Disjunction
-
#valid? TruthTable
-
#value Evaluation