Решение нескольких задач типа 18 и 23 из сборника В.Р. Лещинера ЕГЭ 2018 Типовые тестовые задания

    Variant 14 №18

      (B => A)^(¬C v A) ≡ 1
     (¬B v A)^(¬C v A) ≡ 1

Get system and follow http://kpolyakov.spb.ru/download/inf-2015-10.pdf

  (1)  ¬B v A ≡ 1  here A1(min) = B
  (2)  ¬C v A ≡ 1  here A2(min) = C

  Finally A(min) = convex(A1(min) v A2(min))  = [25;99]
            where convex (X v Y) is a minimal line segment,
            containing line segments X and Y

  Answer : 99-25 = 74


   Variant 12 №18
    
  Follow http://kpolyakov.spb.ru/download/bitwise2.pdf 

    Z(30) v ( Z(57) => ¬A) ≡ 1
    Z(30) v ¬Z(57) v ¬A ≡ 1
    ¬(Z(57)^A) v Z(30)  ≡ 1
   (Z(57)^A) => Z(30)  ≡ 1
    Z(57 OR A) => Z(30) ≡ 1

   30 = 011110 (binary)
   57 = 111001 (binary)
  ===============
   A  = 000110 (binary) = 6 (decimal)

   Due to (x[j] v x[j+1])^(¬x[j] v ¬x[j+1]) = ¬(x[j] ≡ x[j+1])

  (x1 ≡ x2) v (x1 ≡ x3) = 1
  (x2 ≡ x3) v (x2 ≡ x4) = 1
  (x3 ≡ x4) v (x3 ≡ x5) = 1
  (x4 ≡ x5) v (x4 ≡ x6) = 1
  (x5 ≡ x6) v (x5 ≡ x7) = 1
  (x6 ≡ x7) v (x6 ≡ x8) = 1
  (x7 ≡ x8) v (x7 ≡ x9) = 1

  Follow http://kpolyakov.spb.ru/download/mea-2013-10.pdf

  Variant 11 Number 23  && Variant 14 Number 23
 

   Technique been used to solve the tasks was developed in articles

     http://kpolyakov.spb.ru/download/inf-2015-10.pdf
     http://kpolyakov.spb.ru/download/bitwise2.pdf 
     http://kpolyakov.spb.ru/download/mea-2013-10.pdf