多项选择题

A.必须正确表达已定的逻辑关系
B.在节点之间可以出现无箭头的箭线
C.严禁出现循环回路
D.在节点之间可出现带双箭头节点箭线
E.严禁出现没有箭头节点或没有箭尾节点的箭线