根据形式逻辑基本规律中的（），若p∧﹁q为真，则﹁p∨q为（）。