Предложен новый метод синтеза диагностических продукционных правил с применением бинарных деревьев решений и теории переключательных функций, что позволило минимизировать число правил и ускорить анализ продукционных систем при ограниченном количестве диагностических параметров и наличии неполной и противоречивой информации. Разработанные модели для неисправных функциональных состояний компьютерной системы и методы поиска неисправностей доведены до программной реализации в виде нечеткой экспертной диагностическй системы реального времени. При этом диагностирование осуществляется без дополнительных процедур с большей скоростью и меньшими аппаратно-программными затратами по сравнению с существующими экспертными системами.