Информатика. Петрова М.В. - 25 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

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

Рубрика: 

25
ПРИЛОЖЕНИЕ Б
Задания контрольной работы № 2
Задание 1. Составить таблицу истинности для логического выражения F
Таблица Б.1
№
вари-
анта
Логическое выражение F №
вари-
анта
Логическое выражение F
1 F = (X
∧
Y)
∨
((¬X
∧
¬Z)
∨
Y) 11 F = ¬(((¬X
∧
Z)
∧
Y)
∨
(X
∨
¬Y))
2 F = ((¬X
∧
Y)
∨
Z)
∧
(X
∨
¬Y) 12 F = ¬ (¬Z
∨
(¬Y
∧
¬X)
∧
(¬Z
∨
Y)
3 F = ¬X
∧
((¬Y
∧
Z)
∨
X
∨
Y) 13 F = ((X
∧
¬Y)
∨
(Y
∧
Z)
∨
¬X
4 F = ((X
∧
¬Y)
∨
Z)
∧
(¬X
∨
Y)
∨
¬Z 14 F = (¬ (¬X
∨
Y))
∧
(Z
∨
X)
5 F = (X
∧
(Z
∨
¬Y))
∨
(Y
∧
(Z
∨
¬X)) 15 F = ¬ ((X
∨
¬Y)
∧
¬Z))
∨
(Z
∧
¬X)
6 F = ((¬X
∨
Z)
∧
¬Y)
∨
(Y
∧
Z) 16 F = ¬X
∧
(Y
∨
¬Z)
∧
(¬ (X
∨
Y)) Y)
∨
Z
7 F = ¬ ((¬X
∧
¬Z)
∧
(¬(Y
∨
Z)
∨
X)) 17 F = (((X
∧
¬Z)
∨
¬Y)
∧
(¬(Z
∨
¬X)))
∨
Y
8 F = (X
∧
(¬(Z
∧
Y)))
∨
(¬Y
∨
¬X) 18 F = (¬Y
∧
Z)
∨
(¬ (X
∨
(¬Z
∧
Y))
∧
¬X)
9 F = ¬Y
∨
(¬X
∧
Z)
∨
(¬ (X
∧
Y)) 19 F = ¬ (Z
∨
(¬Y
∧
X))
∨
(¬X
∧
(¬Z
∨
Y))
10 F = (¬ (X
∧
Y))
∨
(¬(Y
∨
¬Z)
∧
X) 20 F = ((¬Y
∧
¬Z)
∨
¬X)
∧
(¬ (Z
∨
Y)
∧
X)
Задание 2. Упростить логическое выражение F
Таблица Б.2
№
варианта
Логическое выражение F №
варианта
Логическое выражение F
1
(
P → Q)
∧
(Q → ¬P)
∧
(R → P) 11 (X
∧
¬Z)
∨
Y
∨
¬X
∨
(Y
∧
Z)
∨
(X
∧
Y)
2
(
(X↔Y)
∧
(¬X ↔ ¬Y)) →
(
(X
∨
Y) (¬X
∨
¬Y))
12 (Z
∧
(X
∨
¬Y))
∨
(¬Z
∧
X)
∨
((Z
∨
¬Y)
∧
¬Z
3 (A→B)
∧
(A→(B
∨
C))
∧
(B→C) 13 (X
∨
Y
∨
Z)
∧
(X
∨
¬Y
∨
Z)
∧
(X
∨
¬Y
∨
¬Z)
∨
(¬X
∨
¬Y
∨
¬Z)
4
(
P→R) → ((Q→R)→((P
∨
Q)→R))
¬(X
∨
Z)
∧
(X → Y)
14
(X
∧
¬Z)
∨
Y
∨
¬X
∨
(Y
∧
Z)
∨
(X
∧
Y)
5 X→(Y→Z))→((X→¬Z) 15 (Z
∧
(X
∨
¬Y))
∨
(¬Z
∧
X)
∨
((Z
∨
¬Y)
∧
Z
6 (X ↔ Y) → (X
∧
¬Y) 16 (X
∨
Y
∨
Z)
∧
(X
∨
¬Y
∨
Z)
∧
(X
∨
¬Y
∨
¬Z)
∨
(¬X
∨
¬Y
∨
¬Z)
7 (X
∨
(Y
∧
¬Z))
∧
(X
∨
Z) 17 (¬(X
∧
¬Y
∨
¬Z))
∧
(¬(¬X
∨
Y)
∨
X)
8 (X ↔ Y)
∧
¬(Z → Y) 18 (A
∨
(B
∧
¬C))
∧
(A
∨
C)
9 ((X→Y)→(Z →¬X))→(¬Y
∨
¬Z) 19 ((P
∧
¬Q)
∨
R)
∧
(¬P
∨
R)
10 (X
∧
Y
∧
Z)
∨
(X
∧
Z)
∨
(Y
∧
Z)
∨
YZ 20 ((¬X
∨
(X
∧
Y)) → (X
∧
¬Y))

Страницы