Vista previa en español
De Morgan Law for Logic
Rewrites the negation of a conjunction as a disjunction of negations.
Esta página permanece fuera del índice de búsqueda hasta completar una revisión lingüística humana. Los datos matemáticos proceden de la referencia inglesa.
\neg(p\land q)\equiv(\neg p)\lor(\neg q)Fuente LaTeX
\neg(p\land q)\equiv(\neg p)\lor(\neg q)Variables
- p, q: propositions
- ¬: logical negation
- ∧, ∨: conjunction and disjunction