Use a truth table to determine whether the statement below is atautology, a self-contradiction, or neither. left bracket left parenthesis tilde q right arrow tilde p right parenthesis logical and p right bracket right arrow q[(~q→~p)∧p]→q Choose the correct choice below. A. The statement left bracket left parenthesis tilde q right arrow tilde p right parenthesis logical and p right bracket right arrow q[(~q→~p)∧p]→q is a self-contradiction.
B. The statement left bracket left parenthesis tilde q right arrow tilde p right parenthesis logical and p right bracket right arrow q[(~q→~p)∧p]→q is a tautology.
C. The statement is neither a tautology or self-contradiction