Changes

02) Use Maple para construir as tabelas verdades para cada um dos seguintes pares de expressões booleanas.

TruthTable(((a &implies b)&and(b &implies a)), [a,b], output = Matrix);

(true, false) = false ])

TruthTable(`&and`(`&implies`(a, `&not`(b)), `&implies`(b, `&not`(a))), [a, b], output = Matrix);

(true, false) = true ])

TruthTable(`&and`(`&or`(a, `&and`(b, `&not`(c))), (`&or`(`&or`(a, b), c))*(a+c+d)), [a, b, c, d], output = Matrix);