АХМЕТОВА Наиля Абдулхамитовна УСМАНОВА Зинира... Замыкание и замкнутые классы...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Теорема о замене подформул на эквивалентные
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
УСМАНОВА Зинира Масгутовна
Дискретная математика
Функции алгебры логики
Учебное пособие
Редактор Г.Р. Орлова
Редакционно – издательский комплекс УГАТУ
450000, Уфа-центр, ул. К. Маркса, 12
Содержание
Введение ………………………………………………………...............3
1. Элементы комбинаторики ……………………………………...
Теорема о достаточности четырех функций.
Из любой полной в Р2 системы функций можно выделить полную подсистему, состоящую не более чем из четырех функций.
Доказательство. Пусть {f
Задачи и упражнения по функциям алгебры логики
При оперировании с функциями алгебры логики бывают полезны следующие эквивалентности (большинство из них называют обычно основными эквивалентностями алгебры логики). Построив таблицу для соответств
Минимизация нормальных форм
Минимальной ДНФ (МДНФ) функции f(x1, ... ,xn) называется ДНФ, реализующая функцию f и содержащая минимальное число символов пе
Алгоритм Квайна построения сокращенной ДНФ.
1. Получить СДНФ функции f.
2. Провести все операции неполного склеивания.
3. Провести все операции поглощения.
Пример 1. Построим сокращенную
Метод Блейка
Метод Блейка для построения сокращенной ДНФ из произвольной ДНФ состоит в применении правил обобщенного склеивания и поглощения. Подразумевается, что правила применяются слева направо. На первом эт
Построение всех тупиковых ДНФ.
Пусть f(x1, …, xn) есть функция алгебры логики.
1. Построим СДНФ функции f, и пусть P1, P2, …,P
Минимизация частично определенных функций
Пусть функция f(x1,…,xn) частично (не всюду) определена. Если f не определена на p наборах из 0 и 1, то существует 2p возм
Метод минимизирующих карт Карно
При построении сокращенных ДНФ для функций, зависящих от небольшого числа (не более 4) переменных, используется метод карт Карно. Построение карт Карно основано на свойствах булева
Задачи по алгебре высказываний
1.Записать следующие высказывания в виде пропозициональных форм, употребляя пропозициональные буквы для обозначения атомарных высказываний, т.е. таких высказываний, которые не пост
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов