Булева алгебра

Методические указания. — Тверь: Тверской государственный технический университет (ТвГТУ), 1996. — 7 с. Теоретические предпосылки табличных методов минимизации булевых функций в классе дизъюнктивных нормальных форм. Минимизация булевых функций с использованием диаграмм Вейча. Минимизация булевых функций методом симметричных таблиц.

Описаны предикаты: Напишите программу, определяющую, в нормальной ли форме задана арифметическая сумма, т. е. имеет ли она вид А + В, где А - константа, а В - сумма в нормальной форме. Напишите определение типа «булева формула». Напишите программу, распознающую логические формулы в конъюнктивной нормальной форме, т. е. формулы, являющиеся конъюнкцией дизъюнкций литералов, где...

Две контрольные работы в архиве. По заданной таблице истинности записать Булевы функции в СДНФ и СКНФ, минимизировать полученные функции с помощью тождеств алгебры логики и карт Карно. Начертить логическую схему, реализующую полученное выражение. Булевы функции, заданные в СДНФ, минимизировать с помощью карт Карно и тождеств алгебры логики. Построить схемы, удовлетворяющие...

СПбГУП, СПб., 17 с. Лаба по "Основам компьютерной электроники". Закон отрицания, Дистрибутивный (распределительный) закон, Закон склеивания. Аналитические и схемотические док-ва в программе MicroCap.

Ташкентский университет информационных технологий, Фергана, 2012. 21 с. Дисциплина: Основы информационных вычислительных систем. Руководитель: Сотволдиев Х.И. В данной курсовой работе представлены вычисления значений по алгебре Буля, минимизация с помощью карты Карно, также составление базисов на Электрон Work Bench.

Содержание. Булевы переменные и функции +примеры решений. Элементарные булевы функции. Равносильности +примеры решений. Дизъюнктивные нормальные формы +примеры решений. Минимизация Днф +примеры решений. Конъюнктивные нормальные формы +примеры решений. Минимизация Кнф +примеры решений. Полиномиальное разложение булевых функций +примеры решений. Разложение булевых функций в...

Контрольная работа, 6 заданий: Операцию вычитания заменить операцией сложения с использованием дополнительного кода. Сложить в двоичном и двоично – десятичном кодах числа. Булевы выражения минимизировать с помощью карт Карно. Начертить логическую схему. Составить уравнения алгебры логики по схеме, изображенной на рисунке, упростить полученное выражение, построить схему....

Булевы переменные и функции. Операции булевой алгебры. Эквивалентные формулы. Основные эквивалентности. Дизъюнктивная нормальная форма (ДНФ). Совершенная ДНФ. Минимизация ДНФ. Конъюнктивная нормальная форма (КНФ). Совершенная КНФ. Минимизация КНФ. Полиномиальное разложение: СПНФ. Канонический полином Жегалкина. Арифметический полином.

Хабаровск, вуз-ТОГУ, преподаватель: Ватолина О.В., 2014, вариант N2. 12 с. Дисциплина: "Моделирование систем" Специальность: Прикладная информатика в экономике Заданы номера набора аргументов на элементах сети (задание 2), на которых логическая функция истинна. Записать функцию указанных наборов в СДНФ и провести ее исследование методами Куайна, Карно и аналитическим путем....

Конспективный материал к лекциям (рабочий вариант). — Иркутск: ИрГТУ, 2006. — 22 с. Для создания и эксплуатации комплексных интегрированных автоматизированных систем обработки информации и их компонент (математического обеспечения, пакетов прикладных программ, распределенных банков данных, встроенных микропроцессорных систем, сетей передачи данных, систем с разделением ресурсов...

Построение булевой функции. Синтезировать схему по булевой функции. Минимизация булевой функции. Автомат Мили.

УГАТУ, ФИРТ, ИВТ, 1ый курс 2ой семестр. Введение. Цель работы. Постановка задачи. Теоретическая часть. Практическая часть. Руководство пользователя. Текст программы (с комментариями). Блок – схемы программы. Результаты тестирования программы. Заключение. Выводы. Приложение. Список использованной литературы.

УГАТУ, ФИРТ, I курс, Житников В. П. , 19 стр. Тема: "Представление булевых функций в СКНФ". Оглавление. Цель работы. Введение. Теоретическая часть. Алгоритм. Блок-схема. Листинг программы. Тестирование программы. Заключение. Список использованной литературы.

Геометрический метод. Метод неопределенных коэффициентов. Метод минимизирующих карт Карно. Метод Квайна. Метод Патрика нахождение всех возможных тупиковых форм. Метод Мак-Класки. Метод диаграмм Вейча.

Навчальний посібник. — К.: РВЦ Київський університет, 2008. Навчальний посібник для студентів факультету кібернетики Київського національного університету. Булеві функції. Елементарні булеві функції. Булеві функції і формули. Основні тотожності алгебри логіки. Розклад булевої функції за змінними. Алгебра формул і алгебра булевих функцій. Канонічні форми булевих функцій. Принцип...