Sr Examen
Expresión AvBv(B⇒(CvD))=0
El profesor se sorprenderá mucho al ver tu solución correcta😉
⌨
Solución
Ha introducido
[src]
¬(a∨b∨(b⇒(c∨d)))
$$\neg \left(a \vee b \vee \left(b \Rightarrow \left(c \vee d\right)\right)\right)$$
Solución detallada
$$b \Rightarrow \left(c \vee d\right) = c \vee d \vee \neg b$$
$$a \vee b \vee \left(b \Rightarrow \left(c \vee d\right)\right) = 1$$
$$\neg \left(a \vee b \vee \left(b \Rightarrow \left(c \vee d\right)\right)\right) = \text{False}$$
$$a \vee b \vee \left(b \Rightarrow \left(c \vee d\right)\right) = 1$$
$$\neg \left(a \vee b \vee \left(b \Rightarrow \left(c \vee d\right)\right)\right) = \text{False}$$
Tabla de verdad
+---+---+---+---+--------+ | a | b | c | d | result | +===+===+===+===+========+ | 0 | 0 | 0 | 0 | 0 | +---+---+---+---+--------+ | 0 | 0 | 0 | 1 | 0 | +---+---+---+---+--------+ | 0 | 0 | 1 | 0 | 0 | +---+---+---+---+--------+ | 0 | 0 | 1 | 1 | 0 | +---+---+---+---+--------+ | 0 | 1 | 0 | 0 | 0 | +---+---+---+---+--------+ | 0 | 1 | 0 | 1 | 0 | +---+---+---+---+--------+ | 0 | 1 | 1 | 0 | 0 | +---+---+---+---+--------+ | 0 | 1 | 1 | 1 | 0 | +---+---+---+---+--------+ | 1 | 0 | 0 | 0 | 0 | +---+---+---+---+--------+ | 1 | 0 | 0 | 1 | 0 | +---+---+---+---+--------+ | 1 | 0 | 1 | 0 | 0 | +---+---+---+---+--------+ | 1 | 0 | 1 | 1 | 0 | +---+---+---+---+--------+ | 1 | 1 | 0 | 0 | 0 | +---+---+---+---+--------+ | 1 | 1 | 0 | 1 | 0 | +---+---+---+---+--------+ | 1 | 1 | 1 | 0 | 0 | +---+---+---+---+--------+ | 1 | 1 | 1 | 1 | 0 | +---+---+---+---+--------+