Помощь - Поиск - Пользователи - Календарь
Полная версия: Алгебра логики
Форум «Всё о Паскале» > Pascal, Object Pascal > Теоретические вопросы
acid_burn
Возник такой вопрос на счет правил алгебры логики. Они (правила) справедливы только для двух переменных или для трех тож?
X*y*z (под общей инврсией) можно расписать как x+y+z (каждая переменная под инверсией, т.е пользуемся правилом де Моргана)?
volvo
Закон отрицания (который ты называешь правилом Де Моргана) справедлив для любого числа переменных, т.е.,

not (A*B*C) = (not A) + (not B) + (not C)
not (A*B*C*D*E) = (not A) + (not B) + (not C) + (not D) + (not E)

Ну, и аналогично:
not (A + B + C) = (not A)*(not B)*(not C)
acid_burn
Цитата(volvo @ 26.06.2008 17:28) *

Закон отрицания (который ты называешь правилом Де Моргана) справедлив для любого числа переменных,not (A + B + C) = (not A)*(not B)*(not C)

Этот закон не я так называю, его так в кинжках называют. За правило огромное спс. good.gif
acid_burn
Помогите решить пример, если не трудно. Буду благодарен! rolleyes.gif
samec
можно по действиям:
k1=x*y
k2=not(k1)
k3=k2*z
k4=not(k3)
k5=not(x)*z
k6=z*t
k7=k5+k4
k8=k7+k6
k9=x*y
F(x,y,z,t)=k9*k8.
как то так.
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста, нажмите сюда.