1. Составьте таблицы истинности для следующих логических суждений: 1. B & (A V B); 2. A & (AVBVC); 3. 7 A&BV7 C; 4. (A V B) & 7 A; 5. B(7 CVD)&A; 6. 7 (A&B=>C) v (B=>CvT A).
2. A & (AVBVC);
3. 7 A&BV7 C; не понятно
4. (A V B) & 7 A;
5. B(7 CVD)&A;
6. 7 (A&B=>C) v (B=>CvT A).
7 это отрицание или что?
Ответы
Задача 1
Таблица истинности:
A o B => Результат
0 o 0 => 0
0 o 1 => 1
1 o 0 => 0
1 o 1 => 1
Задача 2
Таблица истинности:
A o B o C => Результат
0 o 0 o 0 => 0
0 o 0 o 1 => 0
0 o 1 o 0 => 0
0 o 1 o 1 => 0
1 o 0 o 0 => 1
1 o 0 o 1 => 1
1 o 1 o 0 => 1
1 o 1 o 1 => 1
Задача 3
Таблица истинности:
A o B o C => Результат
0 o 0 o 0 => 1
0 o 0 o 1 => 0
0 o 1 o 0 => 1
0 o 1 o 1 => 1
1 o 0 o 0 => 1
1 o 0 o 1 => 0
1 o 1 o 0 => 1
1 o 1 o 1 => 0
Задача 4
Таблица истинности:
A o B => Результат
0 o 0 => 0
0 o 1 => 1
1 o 0 => 0
1 o 1 => 0
Задача 5
Таблица истинности:
A o B o C o D => Результат
0 o 0 o 0 o 0 => 0
0 o 0 o 0 o 1 => 0
0 o 0 o 1 o 0 => 0
0 o 0 o 1 o 1 => 0
0 o 1 o 0 o 0 => 0
0 o 1 o 0 o 1 => 0
0 o 1 o 1 o 0 => 0
0 o 1 o 1 o 1 => 0
1 o 0 o 0 o 0 => 0
1 o 0 o 0 o 1 => 0
1 o 0 o 1 o 0 => 0
1 o 0 o 1 o 1 => 0
1 o 1 o 0 o 0 => 1
1 o 1 o 0 o 1 => 1
1 o 1 o 1 o 0 => 0
1 o 1 o 1 o 1 => 1
задание 6 не понятно
предполагается что "7" это отрицание