Математическая логика

[shrek=)]

Математическая логика

Здравствуйте!
Подскажите пожалуйста как доказать тождество двух функций алгебры высказывания зависящих от разного количества переменных.
(x+y) - (y или (не z)(u - (не(x и y)))=(не x) и (z - y),
где + сумма Жигалкина, - импликация, не отрицание, и конъюнкция, или дизъюнкция

Знаю, что функции являются тождественными если их таблицы одинаковы.

 

[Long Cat]

При этом для левой стороны u должна быть фиктивной переменной.

 

[shrek=)]

Не могли бы ли Вы мне помочь решить это задание так как я не как не могу сообразить!

 

[Long Cat]

Составляйте таблицы истинности для обеих сторон.

 

[shrek=)]

таблицы я составил! если бы они были от одного количества переменных, то функции тождественны иначе нет, но они у меня от разного количества переменных. И не одна из функций не является тождественно истиной или тождественно ложной.

 

[Long Cat]

Выкладывайте таблицы.

 

[shrek=)]

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