Задание выполнил студент группы: тэр-111 Жараскан Алмаз
жүктеу/скачать 17,57 Kb.
|
Текущий контроль 2 Жараскан Алмаз
|
Задание выполнил студент группы: ТЭР-111 Жараскан Алмаз Текущий контроль 2 Задание 2 1. Конъюнкция - это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложенное выражение ложно. Обозначение: F = A & B. Таблица истинности для конъюнкции:
Дизъюнкция - это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выражения ложны. Обозначение: F = A v B. Таблица истинности для дизъюнкции:
Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО. Обозначение: F = ¬A. Таблица истинности для инверсии:
2. Для сложных логических операций, содержащих несколько логических операций, определен порядок выполнения действий (приоритет): сначала операции отрицания, затем операции логического умножения, потом операции логического сложения и исключающего сложения, последними выполняется операции импликации и эквивалентности. Операции выполняются слева направо. Порядок выполнения может быть изменен с помощью скобок. 3. Закон де Моргана – общее название логических законов, связывающих с помощью отрицания конъюнкция («И») и дизъюнкция («или»). Один из этих законов можно выразить так: отрицание конъюнкция эквивалентно дизъюнкции отрицаний. Напр.: «Неверно, что завтра будет холодно и завтра будет дождливо, тогда и только тогда, когда завтра не будет холодно или завтра не будет дождливо». 4.
5. Заменить операцию импликации можно в соответствии со следующим правилом:
Для замены операции эквивалентности существует два правила:
жүктеу/скачать 17,57 Kb. Достарыңызбен бөлісу:
|