1_Algebra_logiki
.pdfФункции алгебры логики |
Элементарные булевы функции |
Элементарные булевы функции
Элементарные булевы функции одной переменной
|
|
|
|
|
f0 |
= |
0 функция константа 0. |
x |
0 |
1 |
x |
x |
f1 |
= |
1 функция константа 1. |
0 |
0 |
1 |
0 |
1 |
|
|
|
1 |
0 |
1 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
4 / 50 |
Функции алгебры логики |
Элементарные булевы функции |
Элементарные булевы функции
Элементарные булевы функции одной переменной
|
|
|
|
|
f0 |
= 0 функция константа 0. |
x |
0 |
1 |
x |
x |
f1 |
= 1 функция константа 1. |
0 |
0 |
1 |
0 |
1 |
f(x) = x тождественная |
|
1 |
0 |
1 |
1 |
0 |
функция. |
|
|
|
|||||
|
|
|
|
|
|
|
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
4 / 50 |
Функции алгебры логики |
Элементарные булевы функции |
Элементарные булевы функции
Элементарные булевы функции одной переменной
|
|
|
|
|
f0 |
= |
0 функция константа 0. |
||
x |
0 |
1 |
x |
x |
f1 |
= |
1 функция константа 1. |
||
0 |
0 |
1 |
0 |
1 |
f(x) |
= |
x тождественная |
||
1 |
0 |
1 |
1 |
0 |
функция. |
|
|||
f(x) |
= x функция отрицания, |
||||||||
|
|
|
|
|
|||||
|
|
|
|
|
инверсия или НЕ.
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
4 / 50 |
Функции алгебры логики |
Элементарные булевы функции |
Элементарные булевы функции
Элементарные булевы функции одной переменной
|
|
|
|
|
f0 |
= |
0 функция константа 0. |
||
x |
0 |
1 |
x |
x |
f1 |
= |
1 функция константа 1. |
||
0 |
0 |
1 |
0 |
1 |
f(x) |
= |
x тождественная |
||
1 |
0 |
1 |
1 |
0 |
функция. |
|
|||
f(x) |
= x функция отрицания, |
||||||||
|
|
|
|
|
|||||
|
|
|
|
|
инверсия или НЕ.
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
4 / 50 |
Функции алгебры логики |
Элементарные булевы функции |
Элементарные булевы функции
Элементарные булевы функции одной переменной
|
|
|
|
|
f0 |
= |
0 функция константа 0. |
||
x |
0 |
1 |
x |
x |
f1 |
= |
1 функция константа 1. |
||
0 |
0 |
1 |
0 |
1 |
f(x) |
= |
x тождественная |
||
1 |
0 |
1 |
1 |
0 |
функция. |
|
|||
f(x) |
= x функция отрицания, |
||||||||
|
|
|
|
|
|||||
|
|
|
|
|
инверсия или НЕ.
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
4 / 50 |
Функции алгебры логики |
Элементарные булевы функции |
Элементарные булевы функции
Элементарные булевы функции одной переменной
|
|
|
|
|
f0 |
= |
0 функция константа 0. |
||
x |
0 |
1 |
x |
x |
f1 |
= |
1 функция константа 1. |
||
0 |
0 |
1 |
0 |
1 |
f(x) |
= |
x тождественная |
||
1 |
0 |
1 |
1 |
0 |
функция. |
|
|||
f(x) |
= x функция отрицания, |
||||||||
|
|
|
|
|
|||||
|
|
|
|
|
инверсия или НЕ.
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
4 / 50 |
Функции алгебры логики |
Элементарные булевы функции |
Элементарные булевы функции
Элементарные булевы функции одной переменной
|
|
|
|
|
f0 |
= |
0 функция константа 0. |
||
x |
0 |
1 |
x |
x |
f1 |
= |
1 функция константа 1. |
||
0 |
0 |
1 |
0 |
1 |
f(x) |
= |
x тождественная |
||
1 |
0 |
1 |
1 |
0 |
функция. |
|
|||
f(x) |
= x функция отрицания, |
||||||||
|
|
|
|
|
|||||
|
|
|
|
|
инверсия или НЕ.
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
4 / 50 |
Функции алгебры логики |
Элементарные булевы функции |
Элементарные булевы функции
Элементарные булевы функции двух переменных
x1 x2 |
_ |
^ |
|
! |
|
= |
# |
0 0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
|
|
|
|
|
|
|
|
0 1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
|
|
|
|
|
|
|
|
1 0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
|
|
|
|
|
|
|
|
1 1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
|
|
|
|
|
|
|
|
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
5 / 50 |
Функции алгебры логики |
Элементарные булевы функции |
Элементарные булевы функции
Элементарные булевы функции двух переменных
x1 _ x2 = x1 + x2 дизъюнкция, логическое сложение.
x1 x2 |
_ |
^ |
|
! |
|
= |
# |
0 0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
|
|
|
|
|
|
|
|
0 1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
|
|
|
|
|
|
|
|
1 0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
|
|
|
|
|
|
|
|
1 1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
|
|
|
|
|
|
|
|
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
5 / 50 |
Функции алгебры логики Элементарные булевы функции
Элементарные булевы функции
Элементарные булевы функции двух переменных
|
|
|
|
|
|
|
|
x1 _ x2 = x1 + x2 дизъюнкция, |
|
|
|
|
|
|
|
|
|
логическое сложение. |
|
|
|
|
|
|
|
|
|
x1^x2 = x1&x2 = x1 x2 = x1x2 |
|
x1 x2 |
_ |
^ |
|
! |
|
= |
# |
||
|
|
конъюнкция, логическое умножение. |
|||||||
0 0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
||
|
|||||||||
|
|
|
|
|
|
|
|
|
|
0 1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
1 0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
1 1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
5 / 50 |