Truth value of predicate
We can find truth value of S = (P ∨ ⌉ (Q ∨ R)) ∧ (Q ∨ ⌉ (P)) from truth values of P, Q, and R, parse tree, and truth table.
| P(x) | Q(x) | ⌉ P(x) | P(x)∧ Q(x) | P(x)∨ Q(x) |
| True | True | False | True | True |
| True | False | False | False | True |
| False | True | True | False | True |
| False | False | True | False | False |