Yes you are correct. You can take distributions from any retirement account (IRA or 401(k) and as long as the total distribution exceeds your total RMDs, you have satisfied the requirement.
In any case, RMDs have been waived for tax year 2020.
Please read this IRS document for more information.
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"