Sr Examen

Lang:

¿Cómo usar?
Expresión:
((~P∨Q)∧(Q→P))→(~P→~Q)
(P∨Q∨R)∧(P∨T∨¬Q)∧(P∨¬T∨R)
(P∧Q)∧¬(P∨Q)
(p→q)→r
Expresiones idénticas
(B+(¬A*¬C))*(B*(C+¬A))
(B más (¬A multiplicar por ¬C)) multiplicar por (B multiplicar por (C más ¬A))
(B+(¬A¬C))(B(C+¬A))
B+¬A¬CBC+¬A
Expresiones semejantes
(B-(¬A*¬C))*(B*(C+¬A))
(B+(¬A*¬C))*(B*(C-¬A))

Lógica matemática/ (B+(¬A*¬C))*(B*(C+¬A))

Expresión (B+(¬A¬C))(B*(C+¬A))

El profesor se sorprenderá mucho al ver tu solución correcta😉

⌨

Solución

Ha introducido [src]

b∧(c∨(¬a))∧(b∨((¬a)∧(¬c)))

$$b \wedge \left(b \vee \left(\neg a \wedge \neg c\right)\right) \wedge \left(c \vee \neg a\right)$$

Solución detallada

$$b \wedge \left(b \vee \left(\neg a \wedge \neg c\right)\right) \wedge \left(c \vee \neg a\right) = b \wedge \left(c \vee \neg a\right)$$

Simplificación [src]

$$b \wedge \left(c \vee \neg a\right)$$

b∧(c∨(¬a))

Tabla de verdad

+---+---+---+--------+
| a | b | c | result |
+===+===+===+========+
| 0 | 0 | 0 | 0      |
+---+---+---+--------+
| 0 | 0 | 1 | 0      |
+---+---+---+--------+
| 0 | 1 | 0 | 1      |
+---+---+---+--------+
| 0 | 1 | 1 | 1      |
+---+---+---+--------+
| 1 | 0 | 0 | 0      |
+---+---+---+--------+
| 1 | 0 | 1 | 0      |
+---+---+---+--------+
| 1 | 1 | 0 | 0      |
+---+---+---+--------+
| 1 | 1 | 1 | 1      |
+---+---+---+--------+

FNCD [src]

$$b \wedge \left(c \vee \neg a\right)$$

b∧(c∨(¬a))

FND [src]

$$\left(b \wedge c\right) \vee \left(b \wedge \neg a\right)$$

(b∧c)∨(b∧(¬a))

FNDP [src]

$$\left(b \wedge c\right) \vee \left(b \wedge \neg a\right)$$

(b∧c)∨(b∧(¬a))

FNC [src]

Ya está reducido a FNC

$$b \wedge \left(c \vee \neg a\right)$$

b∧(c∨(¬a))

¿Cómo usar?

Expresiones idénticas

Expresiones semejantes

Expresión (B+(¬A*¬C))*(B*(C+¬A))

Solución

Expresión (B+(¬A¬C))(B*(C+¬A))