【计算思惟】什么是逻辑？(带过程)

逻辑的基本表现形式是命题和推理，推理即依据由简单命题的判断推导得出复杂的命题的判断结论的过程。命题由语句表述，即内容为 真 或为 假 的一个判断语句！

例如：在一次中学生测验中，有三位老师作预测:A.学习委员及格；B.有人不及格；C.全班都不及格；在考试后证实只有一名老师的预测是对的，请问谁对谁错？

求解过程：
    命题A：学习委员及格（即有人及格）
    命题B：有人不及格
    命题C：全班都不及格
    由题目假设和命题之间关系得出 “已知”：A、B、C只有一个为 真
    
    若是A真：则C为假，反之C为真，则A为假
    若是B真：而A、C可能有一个为真，与题矛盾，因此B为假
    若是B假：则“全班都及格”为真，由此推断出C为假

A对BC错

将逻辑表达为0和1及运算
1=true  0=false
已知：
((A and (not C)) or ((not A) and C))==1
(not B) and ((A and (not C)) or ((not A) and c)==1
((not B) and (not c))==1
组合造成全部可能解
{<A=1,B=0 ,C=0>,<A=0,B=1,C=0>, <A=0,B=0,C=1>}

解

<A=1，B=0，C=0>