试题:6.求(P->Q)∧Q的主析取范式.7.证明(P∧(P->Q))->Q为重言式.8.设集合A={