Figure 2: Truth-table to compute the truth-value of a formula.