Математическая логика и теория алгоритмов

8. К.н.ф. дляA ^ B s C равна; 1) 2) 3) 4) 5) {^vB)&(5v"U) (BvAJ& ("UvjBv1C)& U v l 5 (^vC)&(1J S vQ &(Cv ^ v l 5 ) ; (CvlA); (AvB)&(AvC); vC)& .feC'Uv^vlQ. - (BvQ&A; 9. Д.н.ф. для А=(В=>С) равна: 1) 2) 3) 4) 5) A&CvB&IA; CvA&IA l4(&B&lCv A& ,1 Bv B&Av & £ ; A&IBvA&C; BvC&A; C&li. 10. С,к.н.ф. для булевой функции f ( A , B , C ) , значения которой представлены в следующей таблице A В с ЯАЛС) 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 равна 1) (1Л v5v1C)&(l4v5vC)&(^ vlflvC)&(^v5v1C)&(^v5vC); 2) livBs/^C&MvBvC&AvbvCScAvBv^CScAvBvC; 3) (AvBvQ&iAvBvlQ&ilAvBvCJ; 4) (AvBvQ&JvBvlCScUvBvC; 5) (lAvBvQ&iAvlBvQ&CAvBvlQ&iAvBvQ. Тест № 2. Логика предикатов 1. Пустьх , у и 2 - переменные со значениями из (-оо,со). Указать, какое из следующих выражений является двуместным предикатом: 1) X+J^=2; 2) sin(x+y) >2; 3) x^>z+y; 4) 2x2=4; 5) x>y. 316