MC (P⇒Q)∧(¬Q) 的库存当前为私密状态。