Аннотация:
Широко известно вычисление вероятностей значений простейших логических функций (ЛФ) по значениям вероятностей их аргументов [1]. Однако вычисление вероятностей значений сложных логических функций (СЛФ) с большим числом логических переменных (ЛП) может представлять известную трудность. В булевой алгебре ЛФ могут быть представлены в различных эквивалентных формах [2], [3]. Далее ЛФ представляются в полиномиальной нормальной форме (ПНФ), или, другими словами, в виде полиномов Жегалкина [4], [5].