Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
Теоретические сведения. Тема: «Логические основы информатики»
Лабораторная работа № 6
Тема: «Логические основы информатики»
Цель работы: изучить терминологию и символику алгебры логики, а также разобраться с логическими операциями над высказываниями.
Порядок выполнения работы
1. Рассмотреть основные понятия алгебры логики высказываний.
2. Изучить правила применения логических операций над высказываниями.
3. Научиться находить значения логических выражений посредством построения таблиц истинности.
Теоретические сведения
Логика – это раздел математики изучающий законы и формы мышления, а также методы установления истинности или ложности высказываемых суждений.
Основные понятия алгебры логики
| Понятие | Описание |
| Высказывание истина – 1, +, «да», T (true – истина); ложь – 0, –, «нет», F (false – ложь). | Суждение, выраженное повествовательным предложением, о котором можно сказать истинно оно или ложно. Высказывания подразделяются на простые и сложные (составные). Каждому высказыванию ставится в соответствие логическая переменная, обозначаемая прописной буквой латинского алфавита. Например, высказывание А º «Клавиатура – устройство для ввода информации в системный блок» (А = 1) и В º «ВЗУ располагается внутри системного блока» (В = 0). |
| Логическая связка | Операция, позволяющая определить истинность составного высказывания, образованного простыми высказываниями. |
| Таблица истинности | Таблица, устанавливающая соответствие между возможными наборами значений логических переменных и значениями составных высказываний. |
Логические операции над высказываниями
| Логическая операция | Название | Обозначение |
| Конъюнкция Логическое умножение | И | Ù, &, · |
| Дизъюнкция Логическое сложение | Или | Ú, + |
| Инверсия Логическое отрицание | Не | ¯, ﹁ |
| Импликация Логическое следование | Если …, то … | →, ⇒ |
| Эквиваленция Логическое отражение | Тогда … только тогда, когда … | ↔, ⇔ |
Таблица истинности логических операций
| Инверсия | Конъюнкция | Дизъюнкция | Импликация | Эквивалентность | ||
| А | В | ﹁ А | А Ù В | А Ú В | А ⇒ В | А ⇔ В |
Логические операции имеют следующий приоритет:
– действия в скобках;
– инверсия;
– конъюнкция;
– дизъюнкция;
– импликация;
– эквиваленция.
Date: 2015-12-12; view: 459; Нарушение авторских прав; Помощь в написании работы --> СЮДА... |