Matemáticas discretas: no sé la tarea, ¡resuélvela urgentemente!

La solución específica es la siguiente: ① Orden p: enviar a Zhao para ir q: enviar dinero para ir r: enviar a Sun para ir s: enviar a Li para ir u: enviar a Zhou para ir

② (1) p →q (2) s∨u (3) ((q∧┐r)∨(┐q∧r)) (4) ((r∧s)∨(┐r∧┐s )) (5) u→( p∧q)

③ Sea A=(p→q)∧(s∨u)∧((q∧┐r)∨(┐q∧r)) ∧((r∧s)∨ (┐r∧┐s)) ∧(u→(p∧q))

④ Encuentra la forma normal disyuntiva de A (usando el algoritmo equivalente The brief). El proceso es el siguiente:

A(┐p∨q)∧(s∨u)∧((q∧┐r)∨( ┐q∧r))∧ ((r∧s)∨( ┐r∧┐s))∧(┐u ∨(p∧q)) (┐p∨q)∧((q∧┐r)∨(┐q∧r))∧((r∧s)∨(┐ r∧┐s))∧ (s∨u )∧(┐u∨(p∧q)) ((┐p∧q∧┐r)∨(q∧┐r)∨(┐p∧┐q∧r) )∧((r∧s)∨(┐ r∧┐s))∧ (s∨u)∧(┐u∨(p∧q)) ((q∧┐r)∨(┐p∧┐q∧r ))∧((r∧s)∨( ┐r∧┐s))∧(s∨u)∧ (┐u∨(p∧q)) (ley de absorción utilizada) ((┐p∧┐q∧r∧ s)∨(q∧┐r∧┐ s))∧(s∨u)∧(┐u∨(p∧q)) ((┐p∧┐q∧r∧s)∨(┐p∧┐q∧ r∧s∧u)∨(q∧ ┐r∧┐s∧u))∧(┐u∨(p∧q)) (┐p∧┐q∧r∧s∧┐u)∨(p∧q∧ ┐r∧┐s∧u)

El último paso es obtener una forma normal disyuntiva principal, que contenga dos términos mínimos. Cuando p, q, r, s, u toman los valores de 0, 0, 1, 1, 0 o 1, 1, 0 respectivamente, 0, 1, A es cierto, por lo que la empresa debería enviar a Sun y Li, pero Zhao, Qian y Zhou no irán, o Zhao, Qian y Zhou. Irá, pero Sun y Li no irán.