Qual é a forma equivalente em disjunção da proposição (P ∧ Q) → R?

Resposta

¬P ∨ ¬Q ∨ R

Usando a equivalência da implicação: \(A\to B\equiv\lnot A\lor B\).
Assim: \((P\land Q)\to R \equiv \lnot(P\land Q)\lor R\).
Aplicando De Morgan: \(\lnot(P\land Q)\equiv\lnot P\lor\lnot Q\).
Logo: \(\lnot P\lor\lnot Q\lor R\).

exemplo:
Considere \(P\)="lâmpada está ligada", \(Q\)="botão está pressionado", \(R\)="circuito fecha".
\((P\land Q)\to R\) equivale a \(\lnot P\lor\lnot Q\lor R\), ou seja: "a lâmpada não está ligada ou o botão não está pressionado ou o circuito fecha."