Sr Examen
-
¿Cómo usar?
- Expresión:
- ¬(P∨¬Q)
- ~(~(~(P∨Q))∨~P)∨Q
- ~((P→Q)∧~(P∨~Q))
- ~(A|B)
- Forma canónica:
- y-
- Derivada de:
-
y-
-
Expresiones idénticas
- y->(xvnot(z))
- y menos más (xvnot(z))
- y->xvnotz
-
Expresiones semejantes
- noty¬zvz*xvnotz&y
- (xv(-y))&(-xvy)(-xv(-y))
- (xvy)->(x&z)
- (notz<->not(x->(notyvz)))^(y->(xvnotz))
- y+>(xvnot(z))
- notz<->not(x->(notyvz))^(y->(xvnotz))
-
Expresiones con funciones
- xvnot
- xvnoty
Expresión y->(xvnot(z))
El profesor se sorprenderá mucho al ver tu solución correcta😉
⌨
Solución
Solución detallada
$$y \Rightarrow \left(x \vee \neg z\right) = x \vee \neg y \vee \neg z$$
Tabla de verdad
+---+---+---+--------+ | x | y | z | result | +===+===+===+========+ | 0 | 0 | 0 | 1 | +---+---+---+--------+ | 0 | 0 | 1 | 1 | +---+---+---+--------+ | 0 | 1 | 0 | 1 | +---+---+---+--------+ | 0 | 1 | 1 | 0 | +---+---+---+--------+ | 1 | 0 | 0 | 1 | +---+---+---+--------+ | 1 | 0 | 1 | 1 | +---+---+---+--------+ | 1 | 1 | 0 | 1 | +---+---+---+--------+ | 1 | 1 | 1 | 1 | +---+---+---+--------+