“p或者q”是（）的逻辑形式。