Question

Construct a truth table for the statement: (p v q) v (~p ^ q) -> q

Answer 1

Explanation:

We have the following statement
`(p\lor q)\lor(\lnot p \land q) \rightarrow q`

A truth table shows how the truth or falsity of a compound statement depends on the truth or falsity of the simple statements from which it's constructed.

The simple statements from the statement given are:

`\lnot p`,
`p\lor q`,
`\lnot p \land q`, and
`(p\lor q)\lor(\lnot p \land q)`

This is the truth table.