- •Лабораторна робота № 2.
- •Загальні теоретичні відомості Основні поняття алгебри логіки
- •Алгоритм побудови логічних схем.
- •Логічні закони і правила перетворення логічних виразів
- •Завдання
- •Технологія виконання роботи
- •Питання для захисту роботи
- •Індивідуальні завдання до лабораторної роботи № 2 " Алгебра логіки"
Індивідуальні завдання до лабораторної роботи № 2 " Алгебра логіки"
1. Скласти таблицю істинності логічного виразу C.
Варіанти завдання :
№ варіанту |
C |
№ варіанту |
C |
1 |
|
9 |
|
2 |
|
10 |
|
3 |
|
11 |
|
4 |
|
12 |
|
5 |
|
13 |
|
6 |
|
14 |
|
7 |
|
15 |
|
8 |
|
16 |
|
2. Побудувати логічну схему функції F(A, B).
Варіанти завдання :
№ варіанту |
F(A, B) |
№ варіанту |
F(A, B) |
1 |
|
9 |
|
2 |
|
10 |
|
3 |
|
11 |
|
4 |
|
12 |
|
5 |
|
13 |
|
6 |
|
14 |
|
7 |
|
15 |
|
8 |
|
16 |
|
3. Спростити логічний вираз D.
Варіанти завдання :
№ варіанту |
D |
№ варіанту |
D |
1 |
|
9 |
|
2 |
|
10 |
|
3 |
|
11 |
|
4 |
|
12 |
|
5 |
|
13 |
|
6 |
|
14 |
|
7 |
|
15 |
|
8 |
|
16 |
|
4. Визначити, чи є два висловлювання еквівалентними.
Варіанти завдання :
№ варіанту |
Висловлювання |
№ варіанту |
Висловлювання |
1 |
А(¬А v B) A v В |
9 |
A(¬B v C) A & B & ¬C |
2 |
¬( X v ¬Y) v ¬Y & Z ¬ X(Y ∨ Z) |
10 |
A v(B & C) (A & B) v(A & C) |
3 |
A(B v C) (A v В)(A v С) |
11 |
¬( A & B) & ¬C (¬A v ¬B) & ¬C |
4 |
¬(¬ A & B v A(B v ¬C)) ¬ B(¬A v C) |
12 |
¬(¬ A v B) v ¬C ¬ A v B v ¬C |
5 |
¬ (A & B) & ¬C ¬ A v B v ¬C |
13 |
¬ C v ¬B v(A v ¬C) ¬ A & B v ¬C & B |
6 |
¬ (¬A v B) v ¬C (A & ¬B) v ¬C |
14 |
¬( A v ¬B v C) A & ¬B & C |
7 |
¬( A v ¬ B v C) ¬ A & B & ¬C |
15 |
¬ C v ¬B v(A v ¬C) ¬ A & ¬B v ¬C |
8 |
A v(¬A & B) A & B |
16 |
A(¬B v C) A & ¬B & ¬C |
5. Визначити істинність або хибність висловлювань.
Варіанти завдання :
№ варіанту |
Висловлювання |
№ варіанту |
Висловлювання |
1 |
(X>4) v(X>1) v(X>4) при X=1 |
9 |
(X>4) v(X>1) v(X>4) при X=1 |
2 |
X>1(¬(X<5) v(X<3)) при X=2 |
10 |
¬(( X>3) v) v(X<1) при X=2 |
3 |
¬(( X>3) v) v(X<1) при X=3 |
11 |
(¬(X<5) v) & (¬(X<2) v (X<1) при X=3 |
4 |
(X>4) v(X>1) v(X>4) при X=4 |
12 |
X>1(¬(X<5) v(X<3)) при X=4 |
5 |
(¬(X<5) v(¬(X<2) v(X<1)) при X=1 |
13 |
¬(( X>2) v) v(X>4) при X=1 |
6 |
¬(¬( X>2) v(X>3)) при X=2 |
14 |
X>1(¬(X<5) v(X<3)) при X=2 |
7 |
(X>4) v(X>1) v(X>4) при X=3 |
15 |
¬(¬( X>2) v(X>3)) при X=3 |
8 |
¬(( X>2) v) v(X>4) при X=4 |
16 |
¬(( X>3) v) v(X<1) при X=4 |