Графические преимущества Техники Исчисления базисных предикатов по Е. А. Мирончик 2017

Рассмотрим задачу 207 из файла ege18.doc

(E(7)=>(E(A)=>E(54)) => ¬E(27)*E(A)*E(7) = 0
¬((E(7)=>(E(A)=>E(54)) => ¬E(27)*E(A)*E(7)) = 1
¬((¬E(7) + ¬E(A) + E(54)) => ¬E(27)*E(A)*E(7)) = 1
¬(E(7)*E(A)*¬E(54) + ¬E(27)*E(A)*E(7)) = 1
(¬E(7) + ¬E(A) + E(54))*(E(27) + ¬E(A) + ¬E(7)) = 1

Получаем систему

¬E(7) + ¬E(A) + E(54) = 1  (1)
 E(27) + ¬E(A) + ¬E(7) = 1 (2)

E(A) => E(54) + ¬E(7) = 1  (1)
E(A) => E(27) + ¬E(7) = 1  (2) 

E(54) = E(32) + E(16) + E(4) + E(2)
E(27) = E(16) + E(8) + E(2) + E(1)

(E(A)=>E(54)) + (E(A)=>E(16)) + (E(A)=>E(4)) + (E(A)=>E(2)) = 1
(E(A)=>E(16)) + (E(A)=>E(8)) + (E(A)=>E(2)) + (E(A)=>E(1)) = 1

A(min) = 2

Графическое решение

E(54) = E(32)⋃E(16)⋃E(4)⋃E(2)
E(27) = E(16)⋃E(8)⋃E(2)⋃E(1)

Образ наименьшего базисного предиката , вложенного в E(54)∩E(27)
E(2) ⊂ E(54)∩E(27)
A(min) = 2
Образ максимально объединения базисных предикатов , вложенного в E(54)∩E(27) будет
E(18)=E(16)⋃E(2) ⊂ E(54)∩E(27)
A(max) =18

Ссылки
1. http://kpolyakov.spb.ru/download/mea18bit.pdf
2. Множества в задачах с анализом битовых цепочек /Л.Л.Босова, Е.А. Мирончик//Информатика в школе /2017. No 7(130). С. 45-48.