Информатика 10-11. Книга 1. Теория (с задачами и решениями). Шауцукова Л.З. - 150 стр.

    Правила 1-5 выражаются следующими формулами:




    Формулы 1-5 истинны по условию, следовательно, их конъюнкция тоже истинна:




    Выражая     импликацию     через     дизъюнкцию   и   отрицание   (напомним,   что
                ), получаем:




    Подставляя в это тождество конкретные значения истинности x=1, y=0, z=0,
получаем:




    Отсюда следует, что a=0, b=1, c=1.

    Ответ на первый вопрос задачи: нужно заменить блоки b и c; блок а не требует
замены. Ответ на второй вопрос задачи получите самостоятельно.

               II. Решение логических задач табличным способом

    При использовании этого способа условия, которые содержит задача, и результаты
рассуждений фиксируются с помощью специально составленных таблиц.

   Пример 3. В симфонический оркестр приняли на работу трёх музыкантов: Брауна,
Смита и Вессона, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.

    Известно, что:

   1.   Смит самый высокий;
   2.   играющий на скрипке меньше ростом играющего на флейте;
   3.   играющие на скрипке и флейте и Браун любят пиццу;
   4.   когда между альтистом и трубачом возникает ссора, Смит мирит их;
   5.   Браун не умеет играть ни на трубе, ни на гобое.

    На каких инструментах играет каждый из музыкантов, если каждый владеет двумя
инструментами?