Доказать тождество
¬((a∨¬c)¬(a∧c))∧((b/a)∨(a∧b))=b∧c

  a(a + 5b) - (a + b)(a - b)=a^2+5ab-a^2+b^2=5ab+b^2

b(3a-b) - (a - b)(a + b)=3ab-b^2-a^2+b^2=3ab-a^2

  (y+10)(y-2)-4y(2 - 3y)=y^2+8y-20-8y+12y^2=13y^2-20

  (a-4)(a+9)-5a(1-2a)=a^2+5a-36-5a+10a^2=11a^2-36

  (2b-3)(3b+2)-3b(2b+3)=6b^2-9b+4b-6-6b^2-9b=-14b-6

  (3a-1)(2a-3)-2a(3a+5)=6a^2-2a-6a+4-6a^2-10a=-18a+4

(m+3)^2 -(m-2)(m+2)=m^2+6m+9-m^2+4=5m+13

(a-1)^ - (a+1)(a-2)=a^2-2a+1-a^2-a-2=-3a-1

(c+2)(c--1)^2=c^2-c-6-c^2+2c-1=c-7

  (y-4)(y+-3)^=y^2-16-y^2+6y-9=6y-25

(a-2)(a++1)^    =a^2+2a-8-a^2-2a-1=-9

(b-4)(b+-1)^=b^2-2b-8-b^2+2b-1=-9

Число а больше 200 и меньше 400, значит первая цифра либо 2 либо 3. тогда возможные трицифровые числа а с учетом кратности суммы цифр на 4, (в скобках а+6): 202 (208), 206 (212), 301 (307), 305 (312), 309(315), 211 (217), 215 (221), 219 (225), 310 (316) ,314 (320), 318 (324), 220 (226), 224 (230), 228 (234), 323 (329), 327(333), 233 (239), 237 (243), 332 (338) ,336 (342), 242 (248), 246 (252), 341 (347) ,345 (351), 349(355), 251 (257), 255 (261), 259 (265) ,350 (356), 354(360), 358(364), 260 (266), 264 (270), 268 (274) ,363 (369), 367(373), 273 (279), 277 (283), 372 (378) ,376 (382), 282 (288), 286 (292), 381 (387) ,385 (391), 389(395), 291 (297), 295 (301), 299 (305) ,390 (396),394 (400),  398(404) откуда нужные числа 295 (301), 299(305), 394(400), 398(404)