Математическая логика
Здравствуйте!
Подскажите пожалуйста как доказать тождество двух функций алгебры высказывания зависящих от разного количества переменных. (x+y) - (y или (не z)(u - (не(x и y)))=(не x) и (z - y), где + сумма Жигалкина, - импликация, не отрицание, и конъюнкция, или дизъюнкция Знаю, что функции являются тождественными если их таблицы одинаковы. |
При этом для левой стороны u должна быть фиктивной переменной.
|
Не могли бы ли Вы мне помочь решить это задание так как я не как не могу сообразить!
|
Составляйте таблицы истинности для обеих сторон.
|
таблицы я составил! если бы они были от одного количества переменных, то функции тождественны иначе нет, но они у меня от разного количества переменных. И не одна из функций не является тождественно истиной или тождественно ложной.
|
Выкладывайте таблицы.
|
u x y z xy Не(xy) U-не(xy)(2) Не(z) Y или не(z)(1) 12(4) X+Y(3) 3-4
0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 0 0 1 x y z Не x z-y Не x или z-y 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 1 1 |
Часовой пояс GMT +4, время: 06:08. |
Powered by vBulletin® Version 4.5.3
Copyright ©2000 - 2024, Jelsoft Enterprises Ltd.