The 1 reference without contexts in paper G. Cherkesov N., Yu. Stepanov V., Г. Черкесов Н., Ю. Степанов В. (2016) “ПРИМЕНЕНИЕ ОБЩЕГО РЕШЕНИЯ СИСТЕМ ЛОГИЧЕСКИХ УРАВНЕНИЙ В ЗАДАЧАХ НАДЕЖНОСТИ // APPLICATION OF GENERAL SOLUTION FOR A SYSTEM OF LOGICAL EQUATIONS IN DEPENDABILITY TASKS” / spz:neicon:sustain:y:2015:i:2:p:23-38

6
Поспелов Д.А. Логические методы анализа и синтеза схем. М.: Энергия, 1964.
(check this in PDF content)