булева алгебра

[Serikbye]

помогите,pleeeease!!
проверить эквивалентность формул А и В, используя основные аксиомы и теоремы булевой алгебры

[DiemonStar]

¬x*¬y*¬z v ¬x*¬y*z v ¬x*y = ¬x*¬y*(¬z v z) v ¬x*y = ¬x*¬y*1 v ¬x*y = ¬x*(¬y v y) = ¬x*1 = ¬x

[Serikbye]

большое вам спасибо !!!

[Serikbye]

еще с одной задачкой можете помочь????))

представить булевы функции в виде СДНФ,СКНФ и канонического полинома Жегалкина; проверить, являются ли ни линейными, монотонными, самодейственными, сохраняющими 0, сохраняющими 1.

[Stilet]

Темы объединил.