命题网络

propositional network