p_1\land\cdots\land p_n