unicode_fol_kit.truth_table

unicode_fol_kit.truth_table(formula, logic='classical')

Compute the TruthTable of a propositional formula under logic.

Parameters:

• formula (Node) – a quantifier-free formula; each distinct atom is a propositional variable.

• logic (str) – "classical" (values {0,1}), "K3" or "LP" (values {0,½,1}).

Raises:

ValueError – on an unknown logic or a quantified formula.

Return type:

TruthTable