Задача с отрезкамию Разбор от 15.12.
Задача тоже может быть решена с помощью программирования, но аналитическое решение проще.
Запишем выражение проще, заменив «х принадлежит А» на А и т.д.
(¬А→В)^( ¬С→А). Теперь нужно упростить (см. п 21 учебника!) логическое выражение. Воспользуемся сначала разложением инверсии, затем правилом двойного отрицания, затем распределительным законом.
Ответ: 44.
Задачи 6,7,8 сделать аналогично. Приложить решение.