Условие:
Иннокентий выяснил, что умные кошки неигривы и некрасивы. Значит неверно, что умные кошки
А) красивы или игривы
Б) красивы и неигривы
В) некрасивы или неигривы
Решение:
Рассмотрим условие задачи. Иннокентий установил, что умные кошки обладают свойствами «неигривы» и «некрасивы». Это можно записать логически так:
(неигривы) ∧ (некрасивы).
Найдем отрицание свойства «игривы или красивы». По законам логики отрицание конъюнкции (неигривы и некрасивы) равносильно дизъюнкции противоположных свойств:
¬[(неигривы) ∧ (некрасивы)] = (игривы) ∨ (красивы).
Таким образом, если умные кошки неигри...