МИНИСТЕРСТВО ПО РАЗВИТИЮ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ И КОММУНИКАЦИЙ РЕСПУБЛИКИ УЗБЕКИСТАН
ТАШКЕНТСКИЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ имени МУХАММАДА АЛЬ-ХОРЕЗМИ
Самостоятельная работа
По предмету
Дискретные структуры
Выполнил студент группы: MTH201
Urazaliyev Sardorbek
Преподаватели:
Nasriddinov Saloxiddin
Ташкент-2022
Таблица истинности
Таблица истинности — таблица, описывающая логическую функцию.
Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность. Например, в двузначной логике они могут принимать значения «истина» либо «ложь».
Табличное задание функций встречается не только в логике, но и в логических функциях. Таблицы оказались довольно удобными, и с начала XX века за ними закрепилось это специальное название. Особенно часто таблицы истинности применяются в булевой алгебре.
План:
1.Таблицы истинности для основных двоичных логических функций
2.Таблицы истинности для некоторых троичных логических функций
3.Логическая выражения
4.Таблица истинности
5. Равносильные логические выражения
6. Построение таблиц истинности для сложных выражений
Таблицы истинности для основных двоичных логических функций
Таблицы истинности для некоторых троичных логических функций
Логическая выражения
Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции.
Для записи составного высказывания в виде логического выражения на формальном языке (языке алгебры логики) в составном высказывании нужно выделить простые высказывания и логические связи между ними.
Запишем в форме логического выражения составное высказывание
«(2·2=5 или 2·2=4) и (2·2≠5 или 2·2≠4)».
Проанализируем составное высказывание. Оно содержит два простых высказывания:
А = «2•2=5»—ложно (0), В = «2•2=4»—истинно (1).
Тогда составное высказывание можно записать в следующей форме:
«(А или В) и (Ā или В)»
Теперь необходимо записать высказывание в форме логического выражения с учётом последовательности выполнения логических операций. При выполнении логических операций определён следующий порядок их выполнения:
инверсия, конъюнкция, дизъюнкция.
Для изменения указанного порядка могут использоваться скобки:
Do'stlaringiz bilan baham: |
