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