Постройте и упростите логические выражения, соответствующие приведённым таблицам истинности. В каждом случае выбирайте наиболее простой способ синтеза. В вашем решении опишите все шаги алгоритма.
1.
A | B | C | X |
---|---|---|---|
0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 |
0 | 1 | 0 | 1 |
0 | 1 | 1 | 1 |
1 | 0 | 0 | 1 |
1 | 0 | 1 | 1 |
1 | 1 | 0 | 1 |
1 | 1 | 1 | 1 |
2.
A | B | C | X |
---|---|---|---|
0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 |
0 | 1 | 0 | 0 |
0 | 1 | 1 | 0 |
1 | 0 | 0 | 0 |
1 | 0 | 1 | 1 |
1 | 1 | 0 | 1 |
1 | 1 | 1 | 1 |
Задайте с помощью предиката P(x, y) множество точек, соответствующее заштрихованной области на плоскости.
2.
3.
Запишите на языке логики предикатов (см. задание на 16.12), необязательно ограничиваясь предикатами с одной переменной: