Формулы логики высказываний
Решение.
- Таблица истинности для формулы
имеет вид (табл. 9):
Таблица 9
|
№ |
x |
y |
xЩy |
(xЩy)Ъx |
|
0 |
0 |
0 |
0 |
0 |
|
1 |
0 |
1 |
0 |
0 |
|
2 |
1 |
0 |
0 |
1 |
|
3 |
1 |
1 |
1 |
1 |
- Таблица истинности для формулы
имеет вид (табл. 10):
Таблица 10
|
№ |
x |
y |
z |
|
|
|
|
|
|
|
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
|
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
|
2 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
|
3 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
|
4 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
|
5 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
|
6 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
|
7 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
