 Reliability is the important characteristic of systems. Most of the systems consist of more than one component. Moreover, modern systems are very complex and they include a lot of components. Therefore, effective methods have to be developed for analysis of these systems. The techniques that have been already considered for this purpose are the binary decision diagrams and the logical differential calculus. However, these methods have been considered only for the coherent systems. In this paper, their use in the reliability analysis of the non-coherent systems is considered. This article was authored by Yosef Kostolnyi, Miroslav Kvasey and Stefan Kovalik.