Элементы теории алгоритмов - 184 стр.

UptoLike

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

NP NP
F
(A
1
& ... & A
m
),
A
i
(A
α
1
1
... A
α
n
n
),
α
j
∈{1, 0, 1} j =1,...,n A
1
j
A
j
A
j
A
1
j
A
j
A
0
j
A
j
A
j
A
j
(A
α
1
1
... A
α
n
n
),
(A
α
1
1
& ... & A
α
n
n
),
(A
α
1
1
... A
α
n
n
)
k F k
k
k
k
3 NP
A B C D E F G
C C
U A B
C
F G
D
(Z (X Y )) ((Z X Y )&(Z X Y )).