Micro：bit基础编程指导－逻辑功能组01
Ｍｉｃｒｏ：ｂｉｔ基础编程指导－逻辑功能组01
逻辑功能组在micro:bit系统中的主要作用是条件判断语句的构建，是条件判断语句设计应用的基本组成单元。逻辑功能组中的语句块主要分三个组成部分，第一部分是条件判断语句的基本语句块架构，第二部分是条件判断表达式中的关系运算表达式，第三部分是条件判断表达式中的逻辑运算表达式。
计算机程序语句的执行，除了按顺序语句一条条依次执行外，还包括条件判断语句和循环语句。这是两种程序跳转语句类型，条件判断语句是指程序按照一定的判断条件，根据条件信息的正确与否，真伪不同，而分别跳转至不同的程序位置处，继续执行。循环语句则是根据判断条件，来确定是否循环执行某一段程序，还是跳出循环，执行其它的程序指令。
那么，什么是条件判断，什么是条件判断表达式呢？
通俗的理解，就是对一件事物的真实性，正确性的验证。如３是整数，４.５是实数，或者３＋２＝５等的判断识别。那么用于表达条件判断内容、形式的表达式，就是条件判断表达式。
在计算机编程设计中，条件判断表达式主要由关系运算表达式和逻辑运算表达式组成。那么，什么又是关系运算表达式，什么又是逻辑运算表达式呢？
关系运算符，是数学运算中的一种，其基本运算包括两类，一类是传统的集合运算，如并，交，差等。另一类是专门的关系运算，如选择，投影，连接除法，外连接等。在数学方面和计算机方面的学习中，使用最多最普遍且广泛的还是传统的集合运算，主要表现为数字数值间的大小比较运算，因此，关系运算有时也称为比较运算。
比较运算的内容就是判断两个数值对象之间大小的真伪。判断的内容包括大于，小于，等于，大于等于，小于等于，不等于，六种基本比较形式。用于表示这６种基本形式的符号，就称为关系运算符或比较运算符。由数值和关系运算组成的表达式就叫做关系运算表达式或比较运算表达式。
算术运算符指的是加，减，乘，除之类的数学运算符号，赋值运算符指的是“等于”符号。
比较运算的计算结果只有两种数值，就是针对比较大小命题的条件判断结果，它是正确的，还是错误的（不正确的），是对还是错，是“是”还是“否”，真或假等两个相对应的条件判断结论。
在数学中，条件判断用于对计算数值或解的取舍。在计算机编程系统中，条件判断用于决定程序运行的跳转地址及指令语句的选择。它的判断结果通常为“是”与“否”，“真”与“假”，“１”和“０”，“ｔｒｕｅ”与“ｆａｌｓｅ”，应用于不同的程序设计内容中，如，“是”与“否”在程序框图设计中作为跳转的结论使用。“真”与“假”， “ｔｒｕｅ”与“ｆａｌｓｅ”在程序指令语句中使用。“１”和“０”是在程序设计中，把判断结果作为相应的数字数值，来进行相关的数学运算，“１”和“０”代表的是真值与假值的信息，而非数字数值。因为计算机系统的运行，本身就是各种数值进行运算的执行过程，对于数字以外的其它类型的数字数值无法识别和参与运算。因此，只能用数字数值替代其真实的“真”与“假”含义，参与到计算机的运行操作中。
这种只有真值，假值两个结果数值的数据类型，称为布尔值。它是布尔代数中的两个基本元素数值。
布尔代数起源于数学领域，应用于集合运算和逻辑运算的公式当中，通过布尔代数进行集合运算可以获取到不同集合之间的交集，并集或补集，也就是我们前面讲述的关于关系运算的相关内容。通过逻辑运算可以在多个不同集合之间进行与、或、非的组合运算，也就是多个判断条件选项（关系运算）之间的逻辑关系运算。
最简单的布尔代数只有两个元素数值０和１，其中０代表假值，即判断条件不成立，１代表真值，即判断条件成立。在计算机系统中，０和１也正好代表了系统中的二进制运算形式，以及电子电路中的高、低电平（电压）的状态形式。利用布尔代数很容易实现二者在相关设计中的推导和运算。
在程序编程设计中，布尔代数主要应用于单个条件判断语句中的关系运算过程中，以及多个条件判断语句间的逻辑运算过程中。关于布尔代数中的推导与计算过程，称为布尔运算。
布尔运算是数字符号化的逻辑推演法。布尔代数是用数学方法研究逻辑问题，成功建立逻辑演算。他用等式表示判断，把推理看作等式的变换，这种变换的有效性不依赖人们对符号的解释，只依赖于符号的组合规律。所以，人们把这一逻辑理论称为布尔代数，逻辑运算也称为布尔运算。
逻辑运算中，只有两个逻辑常量数值，即０和１，其含义与布尔代数中的意义相一致。包括三种基本逻辑运算关系，分别为与、或、非，引申出的还有异或，同或等逻辑运算关系。逻辑运算表达式，就是由多个关系运算表达与逻辑运算符组成的表达式。
在计算机的编程设计中，逻辑运算通常用来测试语句中的真假值判断。最常见的逻辑运算就是循环语句的处理方面，用来判断退出循环或继续循环的条件参数，以及条件判断语句中的跳转与执行。不同的计算机编程语言，在逻辑运算表达式中的符号形式不尽相同。
举报/反馈