Преобразуем выражение по законам алгебры логики:

Далее применяем обозначения и реализуем способ решения, изложенный К. Ю. Поляковым в теоретических материалах (см., например, раздел «Теория» на нашем сайте), без дополнительных пояснений.

Имеем импликацию Z₉Z_A → Z₁₉ или Z_{(9 or A)} → Z₁₉. Запишем число 19 в двоичной системе счисления: 19₁₀ = 10011₂. Единичные биты, стоящие в правой части, должны являться единичными битами левой. Поскольку 9₁₀ = 1001₂, двоичная запись искомого числа А должна содержать единичные биты в первом и четвертом разрядах (как обычно, считая справа налево, начиная с нуля).

Тем самым, наименьшее А = 10010₂ = 18₁₀.