Булеві функції двох змінних
x1 x2 |
0011 0101 |
Позначення |
Назва |
Інші позначення |
Прочитання |
y0 |
0000 |
0 |
константа 0 |
|
будь-яке 0 |
y1 |
0001 |
x y = xy |
кон’юнкція (логічне і) |
, , , , AND, І, , min |
x і y |
y2 |
0010 |
x y |
заперечення імплікації |
\ |
x і не y |
y3 |
0011 |
x |
повторення першого аргументу |
|
як x |
y4 |
0100 |
y x |
заперечення оберненої імплікації |
\ |
не x і y |
y5 |
0101 |
y |
повторення другого аргументу |
|
як y |
y6 |
0110 |
x y |
що виключає або (сума за модулем 2) |
, , , , , XOR |
x не як y |
y7 |
0111 |
x y |
дизюнкція (логічне або) |
OR, АБО, +, max |
x або y |
y8 |
1000 |
x y |
заперечення диз’юнкції (стрілка Пірса) |
x
x y |
не x і не y |
y9 |
1001 |
x y |
еквівалентність |
, =, Eqv |
x як y |
y10 |
1010 |
|
заперечення другого аргументу |
y |
не y |
y11 |
1011 |
y x |
обернена імплікація |
|
x, якщо y (x або не y) |
y12 |
1100 |
|
заперечення першого аргументу |
x |
не x |
y13 |
1101 |
x y |
імплікація |
, , Imp |
якщо x, то y (не x або y) |
y14 |
1110 |
x | y |
заперечення кон’юнкції (штрих Шеффера) |
x |
не x або не y |
y15 |
1111 |
1 |
константа 1 |
|
будь-яке 1, константа 1 |
y ,
y,
x
yЛітература
Сигорский В.П. Математический аппарат инженера. — К.: Техника, 1975. — 768 с.
Бондаренко М.Ф., Білоус Н.В., Руткас А.Г. Комп’ютерна дискретна математика: Підручник. — Харків: Компанія СМІТ, 2004. — 480 с.
Шевченко В.Е. Некоторые способы решения логических задач. — К.: Вища школа, 1979. — 80 с.
Монахов В.М., Беляева Э.С., Краснер Н.Я. Методы оптимизации. Применение математических методов в экономике: Пособие для учителей. — М.: Просвещение, 1978. — 175 с.
Зміст
Вступ ..................................................................................................... |
3 |
Лабораторна робота № 1. Елементи теорії множин ......................... |
3 |
Лабораторна робота № 2. Алгебра множин ...................................... |
7 |
Лабораторна робота № 3. Нечіткі множини……………………….. |
9 |
Лабораторна робота № 4. Булева алгебра. Закони булевої алгебри. Складання таблиці істинності функції................................ |
12 |
Лабораторна робота № 5. Булева алгебра. Вирази. Переведення десяткових чисел у двійкову систему. ............................................... |
16 |
Лабораторна робота № 6. Графи. Застосування графів та булевих функцій у контактних схемах. ............................................................ |
18 |
Лабораторна робота № 7. Відношення. Властивості бінарних відношень. Реляційна модель даних. ................................................. |
23 |
Лабораторна робота № 8. Алгоритми. ............................................... |
27 |
|
|
Лабораторна робота № 9. Задачі оптимального керування. Методи розв’язку задач лінійного керування. .................................. |
30 |
Додаток 1 .............................................................................................. |
37 |
Література ............................................................................................ |
39 |