$$
\newcommand{\T} {\color{blue}{\text{T}}}
\newcommand{\F} {\color{red}{\text{F}}}
\newcommand{\?} {\color{green}{\text{?}}}$$
This is one way of writing truth tables that comes out pretty nice. Start by writing out the 4 cases for $p$ and $q$:
$$\begin{array} {cccccccccccc}
%
p &\lor &\lnot &(((&\lnot &p &\lor &q) &\implies &q) &\land & p) \\
%
\T & & && & \T & & \T & & \T & & \T \\
%
\T & & && & \T & & \F & & \F & & \T \\
%
\F & & && & \F & & \T & & \T & & \F \\
%
\F & & && & \F & & \F & & \F & & \F \\
%
\end{array}$$
Then start filling in the table 1 operator at a time, starting with the first operator evaluated, the $\lnot$ in the $\lnot p$:
$$\begin{array} {cccc|c|ccccccc}
%
p &\lor &\lnot &(((&\lnot &p &\lor &q) &\implies &q) &\land & p) \\
%
\T & & && \F & \T & & \T & & \T & & \T \\
%
\T & & && \F & \T & & \F & & \F & & \T \\
%
\F & & && \T & \F & & \T & & \T & & \F \\
%
\F & & && \T & \F & & \F & & \F & & \F \\
%
\end{array}$$
Then the value of the $\lor$ in $\lnot p \lor q$, using the values in the $\lnot$ column and the $q$ column:
$$\begin{array} {cccccc|c|ccccc}
%
p &\lor &\lnot &(((&\lnot &p &\lor &q) &\implies &q) &\land & p) \\
%
\T & & && \F & \T & \T & \T & & \T & & \T \\
%
\T & & && \F & \T & \F & \F & & \F & & \T \\
%
\F & & && \T & \F & \T & \T & & \T & & \F \\
%
\F & & && \T & \F & \T & \F & & \F & & \F \\
%
\end{array}$$
Continue filling in for $\implies$ next, then $\land$, then $\lnot$, then $\lor$:
$$\begin{array} {c|c|cccccccccc}
%
p &\lor &\lnot &(((&\lnot &p &\lor &q) &\implies &q) &\land & p) \\
%
\T & \? & \? && \F & \T & \T & \T & \? & \T & \? & \T \\
%
\T & \? & \? && \F & \T & \F & \F & \? & \F & \? & \T \\
%
\F & \? & \? && \T & \F & \T & \T & \? & \T & \? & \F \\
%
\F & \? & \? && \T & \F & \T & \F & \? & \F & \? & \F \\
%
\end{array}$$
If all the values in the final column are true, then the statement is a tautology. If all the values in the final column are false, then it is a contradiction. Otherwise, it could be either (depends on the values of $p$ and $q$, not quite right to say neither).
I don't know what people refer to when they speak of a "short method". For sure there are other methods to check the validity of an argument.
If you are in a logic that admits a completeness theorem (this is the case, for instance, of classical propositional and first-order logics, which are the logics used in our common reasoning and standard mathematics), then you can use a derivation system such as natural deduction or sequent calculus or Hilbert system to prove that an argument is valid, i.e. that the conclusion follows by necessity from the premises. A derivation system consists of a set of axioms and inference rules manipulating syntactically formulas in order to derive a conclusion from a given set of assumptions. The inconvenience of this syntactic approach is when you want to conclude that an argument is not valid: the fact that if you still haven't found a derivation from the premises to the conclusion doesn't guarantee that such a derivation doesn't exist, maybe it is just more tricky than you can imagine.
Another approach, equivalent to truth tables, to show that an argument is valid, is trying to find a situation where the premises are true and the conclusion is false: if there exists such a situation, then the argument is not valid; otherwise, the argument is valid.
The inconvenience of this approach is that you have to consider all the possible situations (which amounts to check all the rows in a truth table), to conclude that an argument is valid. However, even though this method is strictly speaking the same as making truth tables, it can be "psychologically" more insightful and less boring.
Concretely, you start by setting the conclusion as false; this induces some truth values for the propositional variables occurring in the conclusion, which in turn can have consequences on truth values of the premises. Finally, you check if there is a case where all the premises are true.
Let us see how does it work in your argument. The conclusion $((\lnot p \lor q) \land ( q \to p)) \leftrightarrow r$ is false if and only if
either $((\lnot p \lor q) \land ( q \to p))$ is true and $r$ is false,
or $((\lnot p \lor q) \land ( q \to p))$ is false and $r$ is true.
In case 1., $\lnot p \lor q$ and $q \to p$ are true, hence either $p$ and $q$ are both true, or $p$ and $q$ are both false. In the first sub-case, the first premise $p \to (q \leftrightarrow r)$ is false (since $r$ and hence $q \leftrightarrow r$ are false). In the second sub-case, the second premise $(q \leftrightarrow r)\to p$ is false (as $r$ is false and hence $q \to r$ is true).
In case 2., either $\lnot p \lor q $ or $q \to p$ is false, i.e. either $p$ is true and $q$ is false, or $p$ is false and $q$ is true. In the first sub-case, the first premise $p \to (q \leftrightarrow r)$ is false (as $r$ is true and hence $q \to r$ is false). In the second sub-case, the second premise $(q \leftrightarrow r)\to p$ is false (since $r$ and hence $q \leftrightarrow r$ are true).
We have considered all the cases where the conclusion $((\lnot p \lor q) \land ( q \to p)) \leftrightarrow r$ is true, and in all of them at least one premise is false. Therefore, it is impossible that all the premises are true and the conclusion is false, so the argument is valid. As you can see, this method is not always shorter or simpler than making truth tables (it depends on the argument), but it can be more enlightening and less boring.
Best Answer
Hint : find where the A values are true then find an equation using SOP or sum of products process and then simplify the equation if possible....
Edit : you seem quite new to this so $$A=xyz+x^|yz+x(yz)^|$$ This is how we express in SOP form. You can find such formula for any boolean variable
Try to give inputs I.e. x,y and z and find whether you get the correct results...Also try to simplify the above equation if possible....