Проект переведен автоматически. Войдите или зарегистрируйтесь, чтобы увидеть оригинал Работа предполагает решение 10 задач. Посмотрите на файл. Задачи следующих типов: 1 . Упростить выражение Вторая Доказать, что формула является татулогией 3 . Найти все истинные значения формулы 4 . Доведите правильность следов 5 . Записать с помощью логической символики нижеперечисленные высказывания, используя переменные для высказываний. Подавать формальные доказательства полученных формул.Джон либо переутомлен (Е), либо болен (С). Если он переутомляется, то он дратится (С). Он не беспокоит. Если 6 - сложенное число (S), то 12 - сложенное число (W). Если 12 - сложенное число, то существует простое число, которое больше, чем 12 (Р). Если существует простое число, больше чем 12, то существует сложный число, больше чем 12 (С). Если 6 делится на 2 (D), то 6 - сложнее число. Число 12 складывается. 6 – это сложный номер.