法定人数要素

法定元素（Quorum Element）*模块实现了一个法定元素（quorum element），这是一个从多个元素中提取平均信号的装置。该模块根据以下逻辑[1]工作：当四个子通道都正常工作时，较大和较小的信号被丢弃，剩下的两个中较小的信号被输出；当一个子通道出现故障时，较大和较小的信号被丢弃，平均信号被输出；当两个子通道出现故障时，两个中较小的信号被输出；在第三个子通道出现故障后，法定元素会关闭两个通道，因为输出好信号或坏信号的可能性是相同的。

信号的有效性由其有效性信号决定，这些信号由本模块外部生成，并输入到*有效性*输入端口。