单项选择题 在1854年，（）提出逻辑代数体系。

多项选择题 在Verilog HDL中，关于任务和函数的描述正确的是（）。

多项选择题 ​在Verilog HDL中，关于过程时序控制描述正确的是（）。