Подзоров С.Ю. Булевы алгебры

Автор неизвестен. Теоретические основы автоматики и телемеханики. Основные положения и законы алгебры логики. Формы представления функций алгебры логики. Булевы функции от двух переменных. Полнота и базис булевых функций. Минимизация булевых функций. Функции алгебры логики и электрические схемы.

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

М.: Наука, 1969. - 319 с. Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, даётся обзор её важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге результаты в монографическом изложении публикуются впервые. Книга ра...

Новосибирск: Научная книга, 1996, — 364 с., — (Сибирская школа алгебры логики). Третий том учрежденной в 1995 г. Сибирским фондом алгебры логики математической книжной серии «Сибирская школа алгебры логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгеб...

ТУСУР, 2001, 154с. Томский межвузовский центр дистанционного образования (ТУСУР). Содержание: Основы теории множеств. Логика высказываний. Булевы алгебры. Логика предикатов. Исчисления. Теория алгоритмов. Логические парадоксы. Многозначные логики.

СПб. : 2011 г - 38 стр. Содержание. Основные понятия булевой алгебры. Способы задания булевых функций. Булевы функции одной и двух переменных. Основные законы и тождества булевой алгебры. Аналитическое представление булевых функций. Функционально полные системы булевых функций. Минимизация булевых функций. Метод Квайна. Метод Квайна-Мак-Класки. Метод диаграмм Вейча. Карты Карно. Особенности минимизации булевых функций большим числом переменных....

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

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

12 лекций по математической логике и теории алгоритмов. Второй курс, СФУ ИКИТ, 2009 год, преподаватель Вепринцев Д. В. Рассматриваемые вопросы: Алгебра высказываний. Тавтологии алгебры высказываний. Признаки логического следствия. Булевы функции. Нормальные формы булевых функций. Алгебра Жегалкина. Монотонность функции. Теорема о полноте. Релейно-контактные схемы. Логика предикатов. Кванторные операции над предикатами. Аристотелева силлогистика....

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