(1)∵ A∩B=空集,A∪B=R,B=(-∞,1]∪[3,+∞)
∴ A=(1,3)
∴ a = 2
(2)∵ q → 非p
∴ (-∞,1]∪[3,+∞) 包含 (-∞,a-1]∪[a+1,+∞)
∴ a-1≤1,a+1≥3
∴ a=2