
- •1. Высказывания, примеры. Отрицание, дизъюнкция и конъюнкция высказываний.
- •2.Логическое значение сложного высказывания. Логически эквивалентные высказывания.
- •3. Условное высказывание. Контрапозиция условного высказывания.
- •4.Предикаты. Примеры предикатов.
- •5. Кванторы. Примеры высказываний, содержащих кванторы.
- •6. Построение отрицания высказываний вида .
- •7. Методы доказательств: прямое доказательство, контрапозиция, метод доказательства от противного.
- •10. Булева алгебра множеств.
- •11. Отношения. Представления отношений в виде орграфов и в виде логических матриц.
- •13. Инъективные, сюръективные и биективные отображения. Примеры.
- •15. Правила суммы и произведения.
- •17. Перестановки без повторений.
- •19. Сочетания с повторениями.
- •21. Размещения с повторениями.
- •23. Треугольник Паскаля. Свойства биномиальных коэффициентов.
- •24. Бином Ньютона.
- •25. Полиномиальная теорема.
- •26. Графы. Эйлеровы графы
- •27.Простые графы. Матрица смежности графа.
- •29) Гамильтоновы графы.
- •30) Деревья.
- •31) Ориентированные графы.
- •33. Матрица достижимости. Алгоритм Воршала.
- •34. Кратчайший путь в орграфе. Алгоритм Дейкстры.
- •35. Дизъюнктивная нормальная форма логического выражения.
- •36. Проблема упрощения логического выражения. Карты Карно.
- •38. Бинарный сумматор
38. Бинарный сумматор
2-битный сумматор — это устройство, которое вычисляет сумму двузначных двоичных чисел, выдавая в качестве ответа трехзначное двоичное число.
На входе 2-битный сумматор получает два двузначных двоичных числа, а на выходе у него оказывается трехзначное число, равное сумме вводимых чисел. Иными словами, 2-битный сумматор складывает
числа в двоичной системе счисления.
Обозначим через а и b цифры первого вводимого в сумматор числа, а через с и d — цифры второго. Пусть е, f и g —цифры вычисляемой суммы.
Далее мы могли бы заполнить таблицы истинности цифр е, f и g, считая их булевыми функциями от вводимых цифр, упростить полученные выражения с
помощью карты Карно и начертить функциональную схему. Однако используем полубитный сумматор в качестве блока функциональной схемы. Схема, представленная на рисунке:
использует два полубитных сумматора для вычисления сумм: а+2с и b +2d.
Сумма по модулю 2 (переменная v2) дает нам цифру g. Складывая разряд переноса u2 с v1 с помощью третьего полубитного сумматора, мы получаем двузначное число с цифрами u3 и f . Наконец, последняя цифра суммы, е, может быть получена из u1 и u3 с
помощью функционального элемента ИЛИ.