Changes

258 bytes added , 09:38, 3 June 2016

no edit summary

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

a) a -> b and b -> a with(Logic):

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

(true, false) = false ])

b) a -> ¬b and b -> ¬a with(Logic):

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

(true, false) = true ])

c) a + (b(¬c)) and (a + b +d)(a + c + d)

with(Logic):

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

(true, false, true, false) = false,

(false, true, false, true) = false ])

== Referências ==

[http://www.mhhe.com/math/advmath/rosen/r5/student/ch10/maple.html Maple: Chapter 10. Boolean Algebra, Kenneth H. Rosen]

109

edits

Álgebra Booleana (view source)