Контрольная работа: Математическая логика и теория алгоритмов 3
1
0
0
1
1
1
1
0
Т.о. данная формула ложна при: 1) х = 0; y = 1; z = 0; 2) x = 0; y = 1; z = 1;
3) x = 1; y = 1; z = 1;. где 1 - «истина», 0 - «ложь».
3) Является ли тавтологией формула 
?
Решение: Тавтологий является формула, которая истинна независима от значений входящих в нее переменных. Составим таблицу истинности -
|
p |
r |
t |
Øq |
Ør |
Øt |
pÉq |
ØrÉØq |
tÉØr |
(pÉq)&(ØrÉØq)&(tÉØr) |
pÉØt |
((pÉq)&(ØrÉØq)&(tÉØr))É(pÉØt) | |
|
0 |
0 |
0 |
0 |
1 |
К-во Просмотров: 456
Бесплатно скачать Контрольная работа: Математическая логика и теория алгоритмов 3
|