循环语句中do while语句格式是什么？

#include<stdio.h>

int main ()

{

int ch;

printf("1.输入记录\n");

printf("2.删除记录\n");

printf("3.显示记录\n");

printf("请选择：\n");

do

{

    ch=getchar();

    switch (ch)

    {

        case '1' :

            printf ("输入记录 \n");

            break;

        case '2' :

            printf ("删除记录 \n");

            break;

        case '3' :

            printf ("显示记录 \n");

            break;

        default:

            printf("选择错！\n");

    }

}while(ch!='1' && ch!='2' && ch!='3');

}