///
As proposições P, Q e R a seguir referem-se a um ilícito penal envolvendo João, Carlos, Paulo e Maria: P: “João e Carlos não são culpados”.
Q: “Paulo não é mentiroso”.
R: “Maria é inocente”.
As proposições P∨(~Q)∧(~R) e R→[Q∨(~P)] são equivalentes.