Is there a quicker way to check if this proposition is self contradictory? I have been trying to refresh my memory with regards to classical logic. As a result, I am currently going over the basics.
The following proposition seems to be false in all possible worlds. However, this isn't the smallest proposition in the world and it required me to analyse $2^{3}$ possible worlds through truth tables.
I'm just wondering, is there a quicker way to check if the proposition is false in all possible worlds?
$\left[p \wedge (q \lor r)\right] \equiv \left[( \sim q \ \ \lor \sim p) \wedge (\sim r \ \ \lor \sim p)\right]$
 A: DeMorgan's laws:


*

*$\sim (x \vee y) = (\sim x ) \wedge (\sim y)$

*$\sim (x \wedge y) = (\sim x ) \vee (\sim y)$
In some notations where the overline indicates the complement, the rule is "break the line, change the sign":


*

*$\overline{x+y} = \overline{x} \  \overline{y}$

*$\overline{xy} = \overline{x} + \overline{y}$

By only manipulating the right hand side, we have
$$( \sim q \ \lor \sim p) \wedge (\sim r \ \lor \sim p) \\ 
= [\sim (q\wedge p)] \wedge [\sim (r \land p)] \\ 
= \sim [(q\wedge p) \lor (r \land p)] \\
= \sim [(p \land q) \lor (p \land r)] \\
= \sim [p \land (q \lor r)] $$
which is contradictory (false in all possible worlds) to the original left hand side.
A: I'll show you why the left-hand side and left hand side of the claim are contradictory: $$\begin{align} \left[p \wedge (q \lor r)\right] &\equiv \left[( \lnot q  \lor \lnot p) \wedge (\lnot r \ \ \lor \lnot p)\right]\tag{1}\\ \\ \iff (p\land q )\lor (p \land r) &\equiv \lnot(q \land p) \land \lnot(r \land p)\tag{2}\\ \\ \iff (p\land q )\lor (p \land r) &\equiv \lnot[(p\land q) \lor (p\land r)]\tag{3}\end{align}$$
$(1 \to 2)$: Distributive law (left), DeMorgan's, twice (right)
$(2\to 3)$ DeMorgan's Law, applied on the left.
This is clearly a self-contradictory proposition, since the right-hand side is the negation of the left-hand side. This means the claim is false in any/all possible worlds, i.e., it is a contradiction (always false, regardless of the truth values of $p, q, r)$.
A: The left hand statement is equivalent to $$(p\land q)\lor (p\land r)$$
Its negation is precisely the right hand statement. So this is indeed a self-contradictory proposition.
