Diferencia entre revisiones de «Disyunción exclusiva»

Contenido eliminado Contenido añadido
m Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap
Línea 61:
\begin{matrix}
p \nleftrightarrow q & = & (p \land \lnot q) & \lor & (\lnot p \land q) \\
& = & ((p \land \lnot q) \lor \lnot p) & \andland & ((p \land \lnot q) \lor q) \\
& = & ((p \lor \lnot p) \land (\lnot q \lor \lnot p)) & \land & ((p \lor q) \land (\lnot q \lor q)) \\
& = & (\lnot p \lor \lnot q) & \land & (p \lor q) \\