“p或者q”是_________的逻辑公式。