КМ-1. Алгебра логики высказываний. Контрольная работа

КМ 1 Задание 1

Для заданной формулы алгебры логики построить таблицу истинности. ¬(¬(¬A∨¬B∨C)∨¬(A∨C)∨A&¬B) Прежде, чем выполнять свой вариант, рекомендуется рассмотреть примеры решения задачи. 

КМ 1 Задача 2. 

Заданную формулу привести к дизъюнктивной нормальной форме (ДНФ) и к конъюнктивной нормальной форме (КНФ). Преобразования выполнять аналитически. ((B→C)→A)→((¬C∨B→¬A)→C) 

КМ 1 задания 3 - 4 - 5

Задача 3

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

Задание 4

Для формализованного в задаче 3 рассуждения доказать логическое следствие заключения из посылок.

Задание 5

Доказать справедливость рассуждения (взять свой вариант из задания 3) методом резолюции