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

Вариант 22 \ . А необходимо для В, а В достаточно для С и А, но А не эквивалентно С либо В. 2. (l4v1CvDvC&l В )8С A8C\CVD)8C(]AVBV]CVD)VB8CA8C ] В. . l 4 v C v S ^ l C . 4. i A = > B ) = > ( C = ^ D ) , { D = ^ E ) = ^ F \ ' A v F . 5. Когда некоторые В суть не А , а ни одно В не есть С, тогда некоторые не А суть С. 6. axV>(P(x)=i>l!g(x,;^)). 7. А=ЗхУуК{а,/(х,Ь),у)=>\/хР{х,х), B=\/x3yQ(x,y)^3y\/xP(y,x). 8. Все С есть не D. Все А суть D. Все В суть С. Следовательно, некоторые В есть не А . 9. Р~Ьса,Q-bcacdaccdd. 10.P=abc,Q=abcbccab. 11. Смотри условия задачи. 12. (x+y)+z. и.(А=^А)=^{\А::^А)^В). 14. N ( ( N x ) ^ y ) v z , (y=KNx))vz. 15.А*иС* А * п В * А * и ( В * п С * ) . Вариант 23 1 . А когда В либо С, а В необходимо для А и С, но из С не следует^. 2. (^vc)&(dv("u&1c))v(1d&]4)v(^vc)&(1cv1z)) vb&a&ia. 3.А^{В=С). 4. А,В=^С, D=>C, BviA=^D) f= С. 5. Если все А суть не В. Некоторые С суть В, тогда некоторые С суть А. 6. Зх\/уР{х,у)=> 7. A =3y\fxR{x,b,y)^\fxP {A ,x), B=3z3y'^xQ{y,x,z)=i'\fx3yP(x,y). 312