（）表示输入事件至少一个出现，而且同时还需满足条件的情况下，输出事件才发生，否则，输出事件就不发生的逻辑关系。