A seguir, são apresentadas as duas primeiras colunas de uma tabela-verdade, em que P e Q representam proposições lógicas simples.

A última coluna dessa tabela-verdade é a seguinte.

Com base nas informações precedentes, e considerando os conectivos lógicos usuais de conjunção (˄), disjunção (˅), negação (¬) e condicional (→), assinale a opção que apresenta corretamente a proposição lógica que corresponde à última coluna da tabela-verdade.