1 propositional network: 명제 망