Ответ:
1
Объяснение:
Заменим обозначения более привычными
(¬a → b) + ¬(c + ¬d) + ¬b
Заменяем импликацию
(a + b) + ¬(c + ¬d) + ¬b
К группе во второй паре скобок применим правило де-Моргана
(a + b) + (¬c × d) + ¬b
Раскроем скобки
a + b + ¬c × d + ¬b
Сгруппируем
a + (b + ¬b) + ¬c × d
a + 1 + ¬c × d
В дизъюнкции "истинно" для любого элемента делает истинной весь результат
Copyright © 2024 SCHOLAR.TIPS - All rights reserved.
Answers & Comments
Ответ:
1
Объяснение:
Заменим обозначения более привычными
(¬a → b) + ¬(c + ¬d) + ¬b
Заменяем импликацию
(a + b) + ¬(c + ¬d) + ¬b
К группе во второй паре скобок применим правило де-Моргана
(a + b) + (¬c × d) + ¬b
Раскроем скобки
a + b + ¬c × d + ¬b
Сгруппируем
a + (b + ¬b) + ¬c × d
a + 1 + ¬c × d
В дизъюнкции "истинно" для любого элемента делает истинной весь результат
1