Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь КАТЕГОРИИ: АрхеологияБиология Генетика География Информатика История Логика Маркетинг Математика Менеджмент Механика Педагогика Религия Социология Технологии Физика Философия Финансы Химия Экология ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
Основные законы, определяющие свойства логических операций
1) Идемпотентность дизъюнкции и конъюнкции: , .
2) Коммутативность дизъюнкции и конъюнкции: , .
3) Ассоциативность дизъюнкции и конъюнкции: , .
4) Дистрибутивность операций дизъюнкции и конъюнкции относительно друг друга: , .
5) Двойное отрицание: .
6) Закон де Моргана: , .
7) Склеивание: , .
8) Поглощение: , .
9) Действия с логическими константами 0 и 1: , , , , .
10) Закон исключенного третьего: .
11) Тождество: .
12) Отрицание противоречия: . 13) Контрапозиция: .
Сформулированные законы легко проверить с помощью таблиц истинности. При исследовании различных высказываний на эквивалентность(равносильность) логическую связку «можно заменить обычным знаком равенства =.
Пример 1. Доказать равносильность, используя основные законы логических операций: = . Решение. 1. Используя законы де Моргана и , получим: = = . 2. Используя закон двойного отрицания , получаем: = . 3. Применяя дистрибутивный закон , получаем = = )) . 4. Ассоциативность дизъюнкции: позволяет упростить последнее выражение: )) = . 5. Учитывая законы, включающие тождественно ложные высказывания, окончательно получаем: = .
Работу составила преподаватель Т.С. Пронина Практическое занятие №5 1 Наименование: Дизъюнктивные и конъюнктивные нормальные формы алгебры высказываний. Двойственность. 2 Цель: Научиться представлять булевы функции в дизъюнктивной и конъюнктивной нормальных формах, находить функции двойственные заданным, а также самодвойственные. Формирование ОК 2,3,8; овладение знаниями и умениями, необходимыми для освоения ПК 2.4. (спец. 09.02.03.), ПК 1.4, 2.4. (спец. 09.02.04.). 3 Подготовка к занятию: Повторить тему: Дизъюнктивные и конъюнктивные нормальные формы алгебры высказываний. Двойственность. 4 Литература: 4.1 Конспект лекций по учебной дисциплине «Элементы математической логики», 2016 4.2 Приложение к ПЗ №5. 5 Перечень используемых материалов: 5.1 Бланк для отчета.
5.2 Канцелярские принадлежности. 6 Задание на занятие: Основная часть 6.1 Постройте КНФ и ДНФ функций и докажите их тождественность с помощью построения таблиц истинности. а) f (x, y, z) = б) f (x1, x2, x3, x4) = 6.2 Приведите к ДНФ и КНФ функцию f= (x Å y) z 6.3 Найдите двойственные функции для булевых функций двух переменных. Перечислите самодвойственные функции.
f1 (x, y) = 0 f2 (x, y) = f3 (x, y) = f4 (x, y) = x f5 (x, y) = f6 (x, y) = y f7 (x, y) = f8 (x, y) =
f9 (x, y) = f10 (x, y) = f11(x, y) = f12 (x, y) = f13 (x, y) = f14 (x, y) = f15 (x, y) = f16 (x, y) 6.4 Перейдите от ДНФ к КНФ, используя законы двойственности, если f (x, y, z) =
Вариативная часть 6.5 Приведите к ДНФ и КНФ функции: а) б) в) 7 Порядок выполнения работы: Выполните практическую работу в соответствии с заданием (основная часть п.п. 6.1 – 6.4) и сдайте зачет. В случае получения зачета, выполните вариативную часть (п. 6.5). 8 Содержание отчета: Решения задач в соответствии с заданием.
9 Контрольные вопросы: 1 Что называется булевой функцией? 2 Какая функция называется двойственной, самодвойственной? 3 Приведите определение ДНФ и КНФ. 4 Какова процедура приведения функции к ДНФ Приложение к практическому занятию по ЭМЛ № 5
|
|||||
Последнее изменение этой страницы: 2020-12-19; просмотров: 446; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 18.221.98.71 (0.01 с.) |