第1关：命题逻辑应用

实验目的

使学生熟练掌握利用计算机语言实现逻辑运算的基本方法和增强逻辑推理能力。

实验内容

三个老师问题：已知A，B，C，三人是小学老师，各教两门课，互不重复，共有如下六门课。语文(Chinese)、数学(Math)、政治(Politics)、地理(Geography)、音乐(Music)和美术(Art)，已经知道：

– 政治老师和数学老师是邻居  – 地理老师比语文老师年龄大  – B最年轻  – A 经常给地理老师和数学老师讲他看过的文学作品  – B 经常和音乐老师、语文老师一起游泳 要求：编程判断A,B,C各教哪门课。

实验原理和方法

（1）变量的存储：

总的有六门课程(可定义char course[6][10] = {"Chinese","Math","Politics","Geography","Music","Art"｝，设置六个char元素的数组x[0],x[1],x[2],x[3],x[4],x[5]表示教这六门课程的老师，如，如果x[2]='A'表示A老师教政治。

（2）表达式：

可以根据题目给出的条件写出条件表达式，例如其中的两个条件表示如下：政治老师和数学老师是邻居：x[1]!=x[2]  A经常给地理老师和数学老师讲他看过的文学作品：(x[3]!='A')&&（x[1]!='A') 另外，还有一个暗含的条件：每个老师只能教2门课。

输入格式:

输入教师的名称字符，如 A

输出格式:

输出该教师所上的课程，如A教师上语文和政治，则输出： A is Chinese A is Politics

输入样例:

在这里给出一组输入。例如：

A

输出样例:

在这里给出相应的输出。例如：

A is Chinese A is Politics

参考代码：

#include <iostream>
using namespace std;

int main()
{
    char course[6][10] = { "Chinese","Math","Politics","Geography","Music","Art" };
    char x[6], y[6];
    char tc[3] = { 'A','B','C' };
    //在下面的begin-end之间填入代码，完成程序的功能
    //*************begin***********************************//
int a,b,c,d,e,f;
for(a=1;a<=3;a++)
for(b=1;b<=3;b++)
for(c=1;c<=3;c++)
for(d=1;d<=3;d++)
for(e=1;e<=3;e++)
for(f=1;f<=3;f++)
{
if(a+b+c+d+e+f==12&&a*b*c*d*e*f==36)
if(c!=b&&d!=a&&d!=2&&d!=1&&b!=1&&e!=2&&a!=2&&d!=b&&e!=a)
{
    y[0]='A'+a-1;
    y[1]='A'+b-1;
    y[2]='A'+c-1;
    y[3]='A'+d-1;
    y[4]='A'+e-1;
    y[5]='A'+f-1;
    }
}
    
    char t;
    cin>>t;
    if(t == 'A')
    {
        for(int i = 0;i<6;i++)
        {
            if(y[i] == 'A'){
                cout<<"A is "<<course[i]<<endl;
            }
        }
    }
    else if(t == 'B')
    {
        for(int i = 0;i<6;i++)
        {
            if(y[i] == 'B'){
                cout<<"B is "<<course[i]<<endl;
            }
        }
    }
    else if(t == 'C')
    {
        for(int i = 0;i<6;i++)
        {
            if(y[i] == 'C'){
                cout<<"C is "<<course[i]<<endl;
            }
        }
    }
    else{
        return 1;
    }

    //**************end***********************************//

    return 0;
}