Considere que as proposições lógicas simples sejam representadas por letras maiúsculas e que os símbolos lógicos usuais sejam representados de acordo com a tabela a seguir.

conectivo símbolo

conjunção ∧

disjunção ∨

negação ~

condicional ⇒

bicondicional ⇔

Nessa situação hipotética, a proposição lógica

((P ∨ Q) ∧ R) ⇒ (S ∨ T)

é equivalente à proposição lógica