化简a∧14(b∧3/a∧2)∧5