También se advierte fácilmente que esto es la representación de la fórmula ¬(¬P ∧ ¬Q), en la lógica proposicional equivalente de P ∨ Q.