Sr Examen
Lógica matemática/ FvC,C->B,C->H,F->-B,F->C,H->-C=>0

Expresión FvC,C->B,C->H,F->-B,F->C,H->-C=>0

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

⌨

    Solución

    Ha introducido [src] 
    (c | f, Implies(c, b), Implies(c, h), Implies(f, -b), Implies(f, c), Implies(Implies(h, -c), 0))
    (Or(c, f), Implies(c, b), Implies(c, h), Implies(f, -b), Implies(f, c), Implies(Implies(h, -c), 0))

    Вы использовали:
    | - Не-и (штрих Шеффера).
    Возможно вы имели ввиду символ ∨ - Дизъюнкция (ИЛИ)?
    Посмотреть с символом ∨
    Simplificación [src]
    (Or(c, f), Implies(c, b), Implies(c, h), Implies(f, -b), Implies(f, c), Not(Implies(h, -c))) 
    (c | f, Implies(c, b), Implies(c, h), Implies(f, -b), Implies(f, c), ~(Implies(h, -c)))
    Tabla de verdad 
    +---+---+---+---+--------+
| b | c | f | h | 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 | 1      |
+---+---+---+---+--------+
| 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 | 1      |
+---+---+---+---+--------+
    FND [src]
    (Or(c, f), Implies(c, b), Implies(c, h), Implies(f, -b), Implies(f, c), Not(Implies(h, -c))) 
    (c | f, Implies(c, b), Implies(c, h), Implies(f, -b), Implies(f, c), ~(Implies(h, -c)))
    FNC [src]
    (Or(c, f), Implies(c, b), Implies(c, h), Implies(f, -b), Implies(f, c), Not(Implies(h, -c))) 
    (c | f, Implies(c, b), Implies(c, h), Implies(f, -b), Implies(f, c), ~(Implies(h, -c)))
    FNCD [src]
    (Or(c, f), Implies(c, b), Implies(c, h), Implies(f, -b), Implies(f, c), Not(Implies(h, -c))) 
    (c | f, Implies(c, b), Implies(c, h), Implies(f, -b), Implies(f, c), ~(Implies(h, -c)))
    FNDP [src]
    (Or(c, f), Implies(c, b), Implies(c, h), Implies(f, -b), Implies(f, c), Not(Implies(h, -c))) 
    (c | f, Implies(c, b), Implies(c, h), Implies(f, -b), Implies(f, c), ~(Implies(h, -c)))
    © Sr Examen