Sr Examen
Expresión ¬(xyz⇒xp)⊕(yz|xzp)
El profesor se sorprenderá mucho al ver tu solución correcta😉
⌨
Solución
Ha introducido
[src]
((y∧z)|(p∧x∧z))⊕(¬((x∧y∧z)⇒(p∧x)))
$$\left(\left(y \wedge z\right) | \left(p \wedge x \wedge z\right)\right) ⊕ \left(x \wedge y \wedge z\right) \not\Rightarrow \left(p \wedge x\right)$$
Вы использовали:
| - Не-и (штрих Шеффера).
Возможно вы имели ввиду символ ∨ - Дизъюнкция (ИЛИ)?
Посмотреть с символом ∨
⊕ - Сложение по модулю 2 (Исключающее или).
Возможно вы имели ввиду символ ∨ - Дизъюнкция (ИЛИ)?
Посмотреть с символом ∨
Solución detallada
$$\left(y \wedge z\right) | \left(p \wedge x \wedge z\right) = \neg p \vee \neg x \vee \neg y \vee \neg z$$
$$\left(x \wedge y \wedge z\right) \Rightarrow \left(p \wedge x\right) = p \vee \neg x \vee \neg y \vee \neg z$$
$$\left(x \wedge y \wedge z\right) \not\Rightarrow \left(p \wedge x\right) = x \wedge y \wedge z \wedge \neg p$$
$$\left(\left(y \wedge z\right) | \left(p \wedge x \wedge z\right)\right) ⊕ \left(x \wedge y \wedge z\right) \not\Rightarrow \left(p \wedge x\right) = \neg x \vee \neg y \vee \neg z$$
$$\left(x \wedge y \wedge z\right) \Rightarrow \left(p \wedge x\right) = p \vee \neg x \vee \neg y \vee \neg z$$
$$\left(x \wedge y \wedge z\right) \not\Rightarrow \left(p \wedge x\right) = x \wedge y \wedge z \wedge \neg p$$
$$\left(\left(y \wedge z\right) | \left(p \wedge x \wedge z\right)\right) ⊕ \left(x \wedge y \wedge z\right) \not\Rightarrow \left(p \wedge x\right) = \neg x \vee \neg y \vee \neg z$$
Tabla de verdad
+---+---+---+---+--------+ | p | x | y | z | result | +===+===+===+===+========+ | 0 | 0 | 0 | 0 | 1 | +---+---+---+---+--------+ | 0 | 0 | 0 | 1 | 1 | +---+---+---+---+--------+ | 0 | 0 | 1 | 0 | 1 | +---+---+---+---+--------+ | 0 | 0 | 1 | 1 | 1 | +---+---+---+---+--------+ | 0 | 1 | 0 | 0 | 1 | +---+---+---+---+--------+ | 0 | 1 | 0 | 1 | 1 | +---+---+---+---+--------+ | 0 | 1 | 1 | 0 | 1 | +---+---+---+---+--------+ | 0 | 1 | 1 | 1 | 0 | +---+---+---+---+--------+ | 1 | 0 | 0 | 0 | 1 | +---+---+---+---+--------+ | 1 | 0 | 0 | 1 | 1 | +---+---+---+---+--------+ | 1 | 0 | 1 | 0 | 1 | +---+---+---+---+--------+ | 1 | 0 | 1 | 1 | 1 | +---+---+---+---+--------+ | 1 | 1 | 0 | 0 | 1 | +---+---+---+---+--------+ | 1 | 1 | 0 | 1 | 1 | +---+---+---+---+--------+ | 1 | 1 | 1 | 0 | 1 | +---+---+---+---+--------+ | 1 | 1 | 1 | 1 | 0 | +---+---+---+---+--------+