Raciocínio Lógico — ação civil pública (lei 7.347

Com a finalidade de reduzir as despesas mensais com energia elétrica na sua repartição, o gestor mandou instalar, nas áreas de circulação, sensores de presença e de claridade natural que atendem à seguinte especificação:

P: A luz permanece acesa se, e somente se, há movimento e não há claridade natural suficiente no recinto.

Acerca dessa situação, julgue os itens seguintes.

A especificação P pode ser corretamente representada por p ↔ (q ^ r ), em que p, q e r correspondem a proposições adequadas e os símbolos ↔ e ^ representam, respectivamente, a bicondicional e a conjunção