Элементы дискретной математики. Часть I - 25 стр.

UptoLike

ВУЗ: 

ЯрГУ | Ярославль

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

Рубрика: 

L NP
f(x
1
,...,x
n
)
f(x
1
,...,x
n
)&(y
1
) /∈ M,
M NP
f(x
1
,...,x
n
)
f(x
1
,...,x
n
) ∨ y
1
∈ S.
f(x
1
,...,x
n
)
f(x
1
,...,x
n
) ∨ y
1
= y
1
∈ S.
f(x
1
,...,x
n
) ∨ y
1
∈ S.
x
1
x
n
y
1
f(¬x
1
,...,¬x
n
) ∨¬y
1
= ¬(f(x
1
,...,x
n
) ∨ y
1
).
f(¬x
1
,...,¬x
n
) ∨¬y
1
= ¬f(x
1
,...,x
n
)&¬y
1
.
y
1
=0 f(x
1
,...,x
n
)
f(x
1
,...,x
n
)
S NP

Страницы