Дискретная математика. Булева алгебра, комбинационные схемы, преобразования двоичных последовательностей. Ерош И.Л. - 5 стр.

UptoLike

Составители: 

5
F
1
= const 0, F
2
= x, функция повторения x,
F
4
= const 1, F
3
– инверсия аргуменмента x,
обозначаемая x или x и называемая иног-
да “не x”, “отрицание x”.
При n = 2 получаем таблицу истинности
16 различных функций двух аргументов
(табл. 2).
Таблица 2
Среди функций двух аргументов имеются уже известные функции
F
0
и F
15
, соответственно, “константа 0” и “константа 1” – функции, не
зависящие от аргументов, иногда называемые функции нуль аргумен-
тов. Функции F
3
=
x
1
и F
5
= x
2
– функции повторения, соответственно,
аргументов x
1
и x
2
. Функции F
12
= x
1
и F
10
= x
2
– функции инверсии,
соответственно, аргументов x
1
и x
2
. Эти функции считаются функция-
ми одного аргумента.
Рассмотрим новые функции, которые впервые появляются в табли-
це функций двух аргументов.
F
1
– конъюнкция аргументов x
1
и x
2
, обозначается: F
1
= x
1
& x
2
=
= x
1
x
2
= x
1
x
2
= x
1
x
2
. Допустимыми являются все виды приведен-
ных обозначений, но поскольку эта функция называется логическое ум-
ножение, функция “И”, то, как и в обычной алгебре, знак умножения
часто опускается.
F
7
– дизъюнкция аргументов x
1
и x
2
, обозначается: F
7
= x
1
x
2
=
= x
1
+ x
2
. Обычно используют только первый вид обозначения. Эта
функция называется логическое сложение, функция “ИЛИ”, но знак сло-
жения “+” практически не используется.
Для приведенных функций в таблице имеются инверсии. Так, F
14
=
1
F
(штрих Шеффера), F
8
=
7
F
(стрелка Пирса), но поскольку функции F
14
и F
8
играют очень важную роль в вычислительной технике, они будут
рассмотрены подробнее ниже.
Таблица 1
x
1
x
2
F
0
F
1
F
2
F
3
F
4
F
5
F
6
F
7
F
8
F
9
F
10
F
11
F
12
F
13
F
14
F
15
000000000011 1 1 1 1 1 1
010000111100 0 0 1 1 1 1
100011001100 1 1 0 0 1 1
1101010101010 1 0 1 0 1
xF
1
F
2
F
3
F
4
00011
10 10 1