Математическая логика, конечные автоматы хелп ПЛЗ!

Сообщение №33636 от rightfromthecore 23 января 2010 г. 13:30
Тема: Математическая логика, конечные автоматы хелп ПЛЗ!

Помогите плиз, не могу понять: при построении канонического уравнения автомата из СКНФ (находящейся из таблицы истинности) получается путём сокращений сокращенная ДНФ. В решении неясны следующие сокращения: (^ - конъюнкция, V - дизъюнкция, otr - отрицание, + - антиэквивалентность)
(X1 V X2)^ (Z V(X1 ^ X2) ^ (otrX1 ^ otrX2)) = (X1 ^ Z)V(X2^Z)V(X1^X1^X2)V(X1^X2^X2)V(X1^otrX1^otrX2)V(X2^otrX1^otrX2)
и
(Z V(X1+X2))^ (otrZ1 V otr(X1+X2))=Z+X1+X2
С помощью каких законов производятся данные преобразования?


Отклики на это сообщение:

Физика в анимациях - Купить диск - Тесты по физике - Графики on-line

Реклама:
Rambler's Top100