Элементы Математической Логики Приведением к нормальной форме выяснить, является формула...

0 голосов
57 просмотров

Элементы Математической Логики


Приведением к нормальной форме выяснить, является формула тождественно истинной, тождественно ложной, выполнимой: XY → XvY


image

Математика (39 баллов) | 57 просмотров
Дан 1 ответ
0 голосов

(применяю •кон, +диз, ^отриц, ==тождественно равно)
исходное== ^(Х•У)+(Х+У) ||импликация|| == (^Х+^У)+(Х+У) == ^Х+Х+^У+У ==1+1 ==1 ||^Х+Х==1||
Ответ: исходное тожд. равно 1 (всегда истина) Фото прикрепляю


image
(47.5k баллов)
0

а фоткой можно? что бы наверняка , вдруг я не правильно записал(не шарю) , спасибо

0

Можно, но чуть не сразу. Потерпишь?

0

Что-то не вижу фото, не прикрепилось что-ли?

0

А, всё, прикрепилось. В скобках || даны комменты, это общеизвестные законы и аксиомы, в ответе их можно не писать, типа 2*2=4

0

и учитель, читая ответ, должен их знатьO:-)