Let \(p\), \(q\) and \(r\) be propositional variables.
Is the compound proposition \(p\land (q\lor r)\) then a valid consequence of the compound proposition \((p\land q)\lor r\)?
