A table with

the values of a molecular statement

evaluated at

all possible values of its propositional variables.

---

• Implementation