リレー回路の構造と動作条件を解析的に記録することで、リレー回路の等価変換を解析的に実行することが可能になります。