用C语言完成以下离散实验:如果小王是理科生,则他的数学成绩一定很 好。如果小王不是文科生,则他一定是理科 生。小王的数学成绩不好。所以小王是文科生。

以下是用 C 语言完成该离散实验的示例代码：

#include <stdio.h>

int main()
{
    int is_science_student = 0; // 是否是理科生，初始值为假
    int is_liberal_student = 0; // 是否是文科生，初始值为假
    int is_math_good = 0; // 数学成绩是否很好，初始值为假
    
    // 如果小王是理科生，则他的数学成绩一定很好
    if (is_science_student) {
        is_math_good = 1;
    }
    // 如果小王不是文科生，则他一定是理科生
    if (!is_liberal_student) {
        is_science_student = 1;
    }
    // 小王的数学成绩不好，所以小王是文科生
    if (!is_math_good) {
        is_liberal_student = 1;
        is_science_student = 0;
    }
    
    // 输出结果
    if (is_liberal_student) {
        printf("小王是文科生\n");
    } else {
        printf("小王是理科生\n");
    }
    
    return 0;
}

该代码中，通过定义三个布尔变量 `is_science_student`、`is_liberal_student` 和 `is_math_good` 来表示小王是否是理科生、是否是文科生和数学成绩是否很好。根据题目中的条件，逐步判断小王的身份，最终输出结果。