In this activity, you want to find a statement S so that ((AVB)^¬A) = S is a tautology. (a) Complete the column (A V B) ^ ¬A in the table. AB (AV B) ¬A TT TF S ((A V B) ^ ¬A) = S FT F F (b) In order for (A V B) ^ ¬A = S to be a tautology, it must always be true. What must the truth values of S be for this to happen? (Include all possibilities)

Since you have posted a question with multiple subparts, we will solve the first two subparts for
you as third sub part is opinion based. To get remaining subparts solved please repost the complete question and mention the subparts.

Consider the statement $\left(\left(A\vee B\right)\wedge \neg A\right)\Rightarrow S$ is a tautology , therefore it has true truth value. The statement $p\Rightarrow q$ is a conditional statement, its truth values are true always except when $p$ is true and $q$ is false.

(a)

Consider the truth table for computation of truth values of $\left(\left(A\vee B\right)\wedge \neg A\right)$: