多项选择题

逻辑式用于逻辑关系的()等。

A、输出
B、推演
C、变换
D、化简