Алгебра предикатов для задач 18 с ДЕЛ() ЕГЭ Информатика versus Информатик БУ Видео Ролики

Прослушаем и посмотрим сначала
 https://www.youtube.com/watch?time_continue=17&v=tLjdVS9UfR4


  
Решение той же задачи при ясном понимании определеия предиката

    D(a,x) ={ 1 : x mod a = 0;
                  0 : x mod a !=0 }

Решение

Я опускаю квантор всеобщности и зависимости D(k,x)
предикатов от х используя знак тождества "≡"
 
  D(18) => (¬D(A) => ¬D(12)) ≡ 1
¬D(18) + D(A) + ¬D(12) ≡ 1
¬(D(2)*D(3^2)) + D(A) + ¬(D(2^2)*D(3)) ≡ 1
¬D(2) + ¬D(3^2) + D(A) + ¬D(2^2) + ¬D(3) ≡ 1

Заметим, что ¬D(2^2) очевидно поглощает ¬D(2),
 a   ¬D(3^2) очевидно поглощает ¬D(3).

Поглощение предикатов типа  ¬D( ) из одного базиса
в дизъюнкции и подавление предикатов типа D( ) из
одного базиса в конъюнции ( смотри, например ,
https://mapping-metod.blogspot.com/2019/04/shooting-domogarovs-problem-with-d5940.html  )
делает исчисление, построенное Еленой А. Мирончик универсальным подходом, конвертирующим задачу на ДЕЛ()
любой сложности в простое уравнение в ДЕЛ() предикатах
( смотри, например, https://mapping-metod.blogspot.com/2019/04/basic-predicates-technique-developed-by.html  )


Получаем
¬D(3^2) + D(A) + ¬D(2^2) ≡ 1
¬(D(9)*D(4)) + D(A)  ≡ 1
¬D(36) + D(A) ≡ 1
D(36) => D(A) ≡ 1
Таким Образом
А(min) = 36