В книге описаны методы решения логических уравнений, представляющих собой удобные модели при формализации постановки многих научных и технических задач: формального вывода, логического синтеза и анализа дискретных устройств, диагностики их неисправностей и др. Рассмотрена серия практически важных классов логических уравнений и систематически изложены алгоритмы их решения, в ряде случаев оригинальные, разработанные с учетом возможности их реализации на компьютере. Книга рассчитана на научных сотрудников иинженеров, работающих в области проектирования вычислительных машин и дискретных управляющих систем, системного программирования, а также на студентов и аспирантов, специализирующихся в соответствующих направлениях.
V knige opisany metody reshenija logicheskikh uravnenij, predstavljajuschikh soboj udobnye modeli pri formalizatsii postanovki mnogikh nauchnykh i tekhnicheskikh zadach: formalnogo vyvoda, logicheskogo sinteza i analiza diskretnykh ustrojstv, diagnostiki ikh neispravnostej i dr. Rassmotrena serija prakticheski vazhnykh klassov logicheskikh uravnenij i sistematicheski izlozheny algoritmy ikh reshenija, v rjade sluchaev originalnye, razrabotannye s uchetom vozmozhnosti ikh realizatsii na kompjutere. Kniga rasschitana na nauchnykh sotrudnikov iinzhenerov, rabotajuschikh v oblasti proektirovanija vychislitelnykh mashin i diskretnykh upravljajuschikh sistem, sistemnogo programmirovanija, a takzhe na studentov i aspirantov, spetsializirujuschikhsja v sootvetstvujuschikh napravlenijakh.
