各信号定義とともに論理式をツールに入力として与えると、ツールはMCDC真理値表 (で使用Avionics V&V) を生成できるはずです。可能であれば、タイミングと堅牢性も実装できますか?
元：
##ツールへの入力入力:
Logical Expression: OUT = (C1 ||(C2 && C3 && (C4 || C5 || C6)))
ツールの期待される出力
Truth Table:
TC C1 C2 C3 C4 C5 C6 INIT **OUT**
1 T F T T F F F **T**
1 F F T T F F T **T**
2 F T T T F F F **T**
2 F T F T F F T **F**
3 F T T F T F F **T**
3 F T T F F F T **F**
4 F F T T F F F **F**
5 F T T F F T F **T**