Como se converte o condicional \(A \to B\) em disjunção e como se aplica De Morgan em \(\neg(A\land B)\)?

\(A \to B \equiv \neg A \lor B\), e \(\neg(A\land B)\equiv \neg A \lor \neg B\).

Explicação:
O condicional transforma-se em disjunção trocando-se o antecedente por sua negação, depois unindo com o consequente, ou seja \(A \to B \equiv \neg A \lor B\).
Para negar uma conjunção aplica-se a lei de De Morgan, obtendo-se a disjunção das negações, ou seja \(\neg(A\land B)\equiv \neg A \lor \neg B\).

Exemplo:
Considere p: chover, q: ventar, r: piquenique ocorrer.
A frase "Se chover e ventar, então não haverá piquenique" corresponde a \( (p\land q)\to \neg r\).
Aplicando \(A\to B\): \( (p\land q)\to \neg r \equiv \neg(p\land q)\lor \neg r\).
Aplicando De Morgan: \(\neg(p\land q)\equiv \neg p \lor \neg q\).
Logo \( (p\land q)\to \neg r \equiv (\neg p \lor \neg q)\lor \neg r\), que em linguagem comum é "não chove ou não venta ou não haverá piquenique".