Laat \(p\), \(q\) en \(r\) propositievariabelen zijn.
Is de samengestelde propositie \(p\lor (q\land r)\) dan een geldig gevolg van de samengestelde propositie \((p\lor q)\land r\)?