De Morgan's laws
「success tree」は「ド・モルガンの法則」を適用することで、「fault tree」に変換できる。