Логические основы информатики
Метод рассуждений Задача 1. Министры иностранных дел России, США и Китая обсудили за закрытыми дверями проекты договора, представленные каждой из стран. Отвечая затем на вопрос журналистов: «Чей именно проект был принят?», министры дали такие ответы: Россия — «Проект не наш (1), проект не США (2)»; США — «Проект не России (1), проект Китая (2)»; Китай — «Проект не наш (1), проект России (2)». Один из них оба раза говорил правду; второй – оба раза говорил неправду, третий один раз сказал правду, а другой раз — неправду. Кто что сказал? Использование алгебры логики Задача 2. Следующие два высказывания истинны: 1. Неверно, что если корабль A вышел в море, то корабль C – нет. 2. В море вышел корабль B или корабль C, но не оба вместе. Определить, какие корабли вышли в море. … если корабль A вышел в море, то корабль C – нет. 1. Неверно, что если корабль A вышел в море, то корабль C – нет. 2. В море вышел корабль B или корабль C, но не оба вместе. Решение: