Chybowski, Leszek; Matuszak, Zbigniew
(Scientific Journals Maritime University of Szczecin, Zeszyty Naukowe Akademia Morska w Szczecinie,
)
Basic relations useful in the reduction of Boolean models of technical systems have been presented. Elementary logical gates used in a coherent fault tree and their pro-babilistic evaluations of them have been pointed out. AExample marine system (sea water cooling system) has been analyzed with the use of the presented methodology.