КОНТРОЛЬНЫЕ ЗАДАНИЯ
1) Составьте таблицу истинности для формулы алгебры высказываний. Укажите вид формулы.
1. 
;
2. 
;
3. 
;
4. 
;
5. 
;
6. 
;
7. 
;
8. 
;
9. 
;
10. 
;
2) Найдите совершенные дизъюнктивную и конъюнктивную нормальную форму для данной формулы (если соответствующая форма существует)
1. 
2. 
;
3. 
;
4. 
;
5. 
;
6. 
;
7. 
;
8. 
;
9. 
;
10. 
Доказать следующее логическое следование
1. 
;
2. 
;
3. 
;
4. 
;
5. 
;
6. 
;
7. 
;
8. 
;
9. 
;
10. 
4. ) Определить, истинно или ложно высказывание
1. а) 
, где предикат Р(х) задан в виде 
на области 
.
б) 
где предикат 
(х) задан в виде 
на области 
;
2. а) , где предикат Р(х) задан в виде 
на области 
;
б) где предикат (х) задан в виде 
на области
(-2, 2).
3. а) , где предикат Р(х) задан в виде 
на области 
.
б) где предикат (х) задан в виде на области 
;
4. а) , где предикат Р(х) задан в виде 
на области 
.
б) где предикат (х) задан в виде на области 
.
5. а) , где предикат Р(х) задан в виде 
на области 
б) где предикат (х) задан в виде 
на области 
6. а) , где предикат Р(х) задан в виде 
на области 
.
б) где предикат (х) задан в виде на области 
.
7. а) , где предикат Р(х) задан в виде 
на области 
б) где предикат (х) задан в виде на области 
8. а) , где предикат Р(х) задан в виде 
на области 
б) где предикат (х) задан в виде на области 
9. а) , где предикат Р(х) задан в виде 
на области 
б) где предикат (х) задан в виде на области 
;
10. а) , где предикат Р(х) задан в виде на области .
б) где предикат (х) задан в виде на области ;
