“p或者q”是( )的逻辑形式。