FINISH (675729)
Текст из файла
Приложение Булевой алгебры к синтезу комбинационных схем
Двоичная система логики:
1. Элементы Булевой алгебры:
а) числа
b) переменные
с) операции
d) выражения
e) функции
f) законы
А) Числа:
Два числа: логический ноль и логическая единица в Булевой алгебре отождествляются с понятиями “истина” и ”ложь”.
В) Переменные:
Булевы (логические, двоичные) переменные называются переменными, принимающими значение из множества - ноль и единица.
С) Операции:
1. Отрицание (инверсия).
2. Конъюнкция (логическое умножение).
3. Дизъюнкция (логическое сложение).
Унарной является операция отрицания.
Обозначения:
1. Отрицание 
, ù x
2. Конъюнкция a&b, a·b, ab, aÙb
3. Дизъюнкция aÚb
D) Выражения:
Переменные, знакооперации, соединенные вместе при возможном наличии скобок для задания порядка выполнения операций.
Приоритет задается порядком операции.
Е) Функции:
Булевой (логической) функцией называется такая функция, аргументами которой являются булевы переменные, и сама функция принимает значение из множества ноль и единица.
Областью определения Булевой функции является совокупность 2n двоичных наборов ее аргументов. Набор аргументов можно рассматривать как n-компонентный двоичный вектор.
Формы задания Булевой функции:
1. Аналитическая (в виде логического выражения)
2. Табличная (в виде таблицы истинности)
3. Графическая
4. Таблично-графическая (в виде карты Карно)
5. Числовая
6. Символическая форма
1) Аналитическая:
_ _
y=(x1 Ú x2) x3
_ _ _ _ _ _
y=x1 x2 x3 Ú x1 x2 x3 Ú x1 x2 x3
2) Табличная:
| x1 | x2 | x3 | _ x1 Ú x2 | y |
| 0 | 0 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 |
| 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 |
Переход от аналитической к табличной однозначен! Обратный переход не является однозначным.
Основные законы (тождества)
1) ab=ba
aÚb=bÚa
2) Ассоциативный:
a(bc)=(ab)c
aÚ(bÚc)= (aÚb) Úc
3) Дистрибутивный:
a(bÚc)=abÚac
aÚ(bc)=(aÚb)(aÚc)
4) Закон двойного отрицания:
=
a=a
5) Тавтологии:
aa=a
aÚa=a
6) Законы нулевого элемента:
a0=0
aÚ0=a
7) Законы единичного элемента:
а1=а
аÚ1=1
8) Законы дополнительного элемента:
_
В Булевой алгебре дополнительным элементом к а является а.
_ _
аÚа=1; аа=0
9) Двойственности (деМоргана):
__ _ _
ab=aÚb
___ _ _
aÚb=a b
Cледствия: ab=aÚb; aÚb=a b
10) Поглощения:
aÚab=a
a(aÚb)=a
11) Сокращения:
_
аÚаb=aÚb
_
a(aÚb)=ab _ _ _ _
Cледствия: aÚab=aÚb; a(aÚb)=ab
12) Склеивания:
_ _
abÚab=a; (aÚb)(aÚb)=a
Комментарии:
1) Для доказательства законов можно использовать:
а) Метод совершенной индукции.
б) Использование одних законов для доказательства других законов.
Метод совершенной индукции состоит в доказательстве эквивалентности левой и правой части на всем множестве наборов аргументов. Для этого составляется таблица истинности.
2) Большинство законов задается парой соотношений, при этом одно соотношение можно получить из другого заменив операции конъюнкции на дизъюнкцию или дизъюнкцию на конъюнкцию (метод не применим в законах, в которых участвуют константы). С константами же константы заменяются на противоположные значения. (Дуальность законов Булевой алгебры)
3) Некоторые законы можно распространять на произвольное число элементов.
4) В любом законе можно заменить любую букву на произвольное логическое выражение.
5) Законы применяются для упрощения Булевых функций.
Разнообразие Булевых функций.
1. Булева функция от одной переменной.
| Обозначение аргумента и функции | Значения аргумента и функции | Наименование функции | |
| x | 0 | 1 | |
|
| 0 | 0 | Логический ноль |
|
| 0 | 1 | Повторение x |
|
| 1 | 0 | Инверсия x |
|
| 1 | 1 | Логическая единица |
2. Возможные функции от двух переменных.
| Обозначение аргументов и функций | Значение аргументов и функций | Обозначение функций | Наименование | Вырожденность | Представление функции в булевом базисе | |||
|
| 0 | 0 | 0 | 0 | “0” | Логический ноль | + | - |
|
| 0 | 0 | 0 | 1 | x1&x2 | Конъюнкция | - | x1 x2 |
|
| 0 | 0 | 1 | 0 | x1Dx2 | Запрет x1 по x2 | - | x1 |
|
| 0 | 0 | 1 | 1 | x1 | Повторение x1 | + | - |
|
| 0 | 1 | 0 | 0 | x2Dx1 | Запрет x2 по x1 | - | x2 |
|
| 0 | 1 | 0 | 1 | x2 | Повторение x2 | + | - |
|
| 0 | 1 | 1 | 0 | x1Åx2 | Сумма по модулю 2 неравнозначная (исключительное или) XOR | - |
|
|
| 0 | 1 | 1 | 1 | x1Úx2 | Дизъюнкция | - | x1 Ú x2 |
|
| 1 | 0 | 0 | 0 | x1¯x2 | Функция Вебба | - | x1Úx2 |
|
| 1 | 0 | 0 | 1 | x1ºx2 | Равнозначность | - |
|
|
| 1 | 0 | 1 | 0 |
| Отрицание x2 | + | - |
|
| 1 | 0 | 1 | 1 | x2®x1 | Импликация от x2 к x1 | - |
|
|
| 1 | 1 | 0 | 0 |
| Отрицание x1 | + | - |
|
| 1 | 1 | 0 | 1 | x1®x2 | Импликация x1 к x2 | - |
|
|
| 1 | 1 | 1 | 0 | x1 | x2 | Штрих Шеффера | - |
|
|
| 1 | 1 | 1 | 1 | “1” | Логическая единица | + | - |
Определение: Булева функция от n аргументов fn(x) называется вырожденной по аргументу xi, если ее значение не зависит от этого аргумента, то есть для всех наборов аргументов имеет место равенство:
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
