Sejam p, q, r, s proposições lógicas simples, todas verdadeiras. Designando por V uma proposição verdadeira e por F uma proposição falsa, as proposições compostas: !$ (\sim p \vee q) \rightarrow (r \rightarrow \sim s) ;(p \wedge \sim q) \vee (r \vee \sim s) e p \rightarrow (r \wedge \sim s) !$ são, respectivamente:
