Como se lê e quando é verdadeira a fórmula p ∧ ¬q?

p ∧ ¬q se lê "p e não q", é verdadeira somente se p for verdadeira e q for falsa.

Em termos lógicos, p ∧ ¬q vale verdadeiro quando p = V e q = F, nos outros casos vale falso.

Exemplo: Seja p: sensor detectou movimento, q: alarme soou.
p = V, q = F → p ∧ ¬q = V (houve movimento e o alarme não tocou).
p = V, q = V → p ∧ ¬q = F.
p = F, q = V → p ∧ ¬q = F.
p = F, q = F → p ∧ ¬q = F.