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

Вариант 25 1 . А только тогда, когда В, а. В когда С или А, но А недостаточно для С. 2. (AvЪ)HB&^CvB&^DvC&Bv]B&']D)&(DvA)vB&A&.'] В. 3. ^vCv(^=>S)&lC. 4. С ^ { В ^ А \ BvD,С)=AvDvC. 5. Если некоторые D суть В, а ни одно А не есть не С, то все А суть D. 6. 3x3yiPix)ScP(y)&Qix,y)). 7. A=^\fx3yP{x,b):^\/xQiaJ{x.y)), B=3xByP(x,y)=>3yVxR(f{x,a),y,x). 8. Некоторые С суть D. Все А сутьD. Все В суть не С. Следова­ тельно, все В есть А . 9. P-cda,Q=cdacdabcdd. 10.P=accb,Q~accbccdab. 11. Смотри условия задачи. 12. х ! 13. 7Л=>(-4=>>4). 14. (iVx)v(y&;2), 15. C*n A * , A * u C * u B * A * n ( B * u C * ) . Тесты для самоконтроля По каждой из гл. 1-4 и 6 предложены отдельные тесты для самоконтроля, а по гл. 5 и 7 - один тест. Каждый тест содержит 10 заданий. Всезадания имеют пятьвариантов ответов, изкоторых нужновыбратьтолькоодин.Налистебумагизапишитеномера заданийтестаи для каэ/сдого задания напишите номервыбранного ответа. 314