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

   o   к) "этот треугольник равнобедренный и прямоугольный", "этот треугольник не
       равнобедренный или он не прямоугольный".

    5.6. Определите значения истинности высказываний:

   o   а) "наличия аттестата о среднем образовании достаточно для поступления в
       институт";
   o   б) "наличие аттестата о среднем образовании необходимо для поступления в
       институт";
   o   в) "если целое число делится на 6, то оно делится на 3";
   o   г) "подобие треугольников является необходимым условием их равенства";
   o   д) "подобие треугольников является необходимым и достаточным условием их
       равенства";
   o   е) "треугольники подобны только в случае их равенства";
   o   ж) "треугольники равны только в случае их подобия";
   o   з) "равенство треугольников является достаточным условием их подобия";
   o   и) "для того, чтобы треугольники были неравны, достаточно, чтобы они были
       неподобны";
   o   к) "для того, чтобы четырёхугольник был квадратом, достаточно, чтобы его
       диагонали были равны и перпендикулярны".

    5.7. Подставьте в приведённые ниже высказывательные формы вместо логических
переменных a, b, c, d такие высказывания, чтобы полученные таким образом составные
высказывания имели смысл в повседневной жизни:

   o   а) если (а или (b и с)), то d;
   o   б) если (не а и не b), то (с или d);
   o   в) (а или b) тогда и только тогда, когда (с и не d).

    5.8. Формализуйте следующий вывод: "Если a и b истинны, то c — истинно. Но c —
ложно: значит, a или b ложны".

    5.9. Формализуйте предостережение, которое одна жительница древних Афин
сделала своему сыну, собиравшемуся заняться политической деятельностью: "Если ты
будешь говорить правду, то тебя возненавидят люди. Если ты будешь лгать, то тебя
возненавидят боги. Но ты должен говорить правду или лгать. Значит, тебя
возненавидят люди или возненавидят боги".

    Формализуйте также ответ сына: "Если я буду говорить правду, то боги будут
любить меня. Если я буду лгать, то люди будут любить меня. Но я должен говорить
правду или лгать. Значит, меня будут любить боги или меня будут любить люди".


    5.10. Пусть a = "это утро ясное", а b = "это утро теплое". Выразите следующие
формулы на обычном языке: