＜ ∧ ＞ 　P01 ＜ ∧ ＞