Is there a "repeater" logic gate?
What you're looking for is commonly known as a "buffer". Any of your proposed constructions would work to form one; I believe the two-cascaded-NOT-gates is common in CMOS logic.