4.1 与或图模型