I would like to know how I can represent this truth table using the compound proposition below please? $$(P\lor Q)\to(R\land(S\land T))$$
Represent this truth table
1 Answers
Note that $$\lnot (P\lor Q)\to(R\land(S\land T)) \equiv (P\lor Q) \lor (R\land S\land T)$$
Technically, for a truth-table, you'll need $2^5$ rows to accommodate all possible truth value assignments. So the task is mainly about doing the grunt work (which is easy, but tedious).
Note that any truth-value assignment in which $P = T, Q=T$, or both $P=T$ and $Q=T$ is true, because only one disjunct of the three I display above is needed to make the statement true. The only cases in which the statement the statement might be false is when $P = F, Q= F$, and any one or more of $R, S, T$ is false.
See: The truth-table generator from the Stanford website. Once there, type in the expression "(P or Q) or (R and S and t)", click enter, and you'll be able to generate the 32 rows (5 columns) of truth value assignments, and the resulting truth or falsity of the proposition under the each row's truth value assignments.
EDIT: It seems the question the OP intended to ask is how to write the truth-table for $$(P\lor Q)\to(R\land(S\land T)) \equiv \lnot (P\lor Q) \lor (R\land S\land T)\equiv (\lnot P \land \lnot Q) \lor(R \land S \land T)$$
In such case, the proposition is true if and only if [($P = Q = \text{false}$), or ($R = S=T= \text{true})]$.
-
0In the second case (under **EDIT**), you can use the truth-table generator I linked to above, and enter: ((not P and not Q) or(R and S and t). (I use small-case $t$, because the generator reads T as true.) – 2017-02-04
-
0I think that I understood, so i have to proof all of them separated? – 2017-02-04
-
0No, the rightmost column of the truth-table gives you, in each row, the value (true or false) of the proposition, under the truth-values of the variables in that row. So you know which rows' truth-value assignments to the variables yield a true result. The truth-table **is** the proof! No more proof necessary. – 2017-02-04
-
0You're welcome, Gab. – 2017-02-04