命题逻辑应用

点亮一颗单片机

已于 2023-05-11 22:52:18 修改

阅读量160

点赞数

文章标签： c++ 算法

于 2023-05-09 22:31:47 首次发布

本文链接：https://blog.csdn.net/qq_62430746/article/details/130590105

版权

命题逻辑应用

实验目的

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

实验内容

三个老师问题：已知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 is Chinese
A is Politics

示例

main.cpp

//
// Created by sora on 23-5-8.
//
#include <iostream>
using namespace std;
#include <cstdlib>

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***********************************//
    while(1){
        while(1){ //生成随机数
        int a=rand()%6;int b=rand()%6;int c=rand()%6;
        int d=rand()%6;int e=rand()%6;int f=rand()%6;
        if(a!=b&&a!=c&&a!=d&&a!=e&&a!=f&&b!=c&&b!=d&&b!=e&&b!=f&&c!=d&&c!=e&&c!=f&&d!=e&&d!=f&&e!=f){
        x[a]=tc[0];x[b]=tc[0];
        x[c]=tc[1];x[d]=tc[1];
        x[e]=tc[2];x[f]=tc[2];
        break;}}//分配随机数，每个随机数对应所教科目
      if((x[3]!='A')&&(x[1]!='A')&&(x[1]!=x[2])&&(x[4]!='B')&&(x[0]!='B')&&(x[3]!='B')&&(x[0]!=x[3])&&(x[1]!=x[3])&&(x[4]!=x[0])) break;//条件满足跳出循环
        }
    //for(int n=0;n<6;n++)
    //cout<<x[n]<<endl;//测试输出是否正确
    char teacher=' ';
    cin>>teacher;
    for(int t=0;t<6;t++){
        if(x[t]==teacher){
            cout<<teacher<<' '<<"is"<<' '<<course[t]<<endl;
        }
    }
    //**************end***********************************//

    return 0;
}