Мансуров_1323_Вар39_Зад2
.docЗадание 2.
Оценить формулу в данной интерпретации (т.е. подставить предикаты в данную формулу и построить их таблицу истинности).
Вар. 39 
x |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
y |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
z |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
P(x,y,z) |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
Q(x,y) |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
T(x,z) = 
F(z) = 
*
S =
x |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
y |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
z |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
P(x,y,z) |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
Q(x,y) |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
T(x,z) |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
F(z) |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
P(x,y,z) |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
Q(x,y) |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
-Q(x,y) |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
S |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |