那时假定有此种一类情形，他们的应用软件较为特殊，要求普通用户要初生，因此战绩小于等同于60，该咋办呢？
也许你会想不到采用冗余的 if 句子，类似于上面此种的标识符：
此种方式尽管能行不通，但不如简约和专精，他们能将其填充为两条 if else 句子：
是两个捷伊操作符，称作形式系统符，则表示和三个前提要与此同时设立就能继续执行 if 前面的标识符，不然就继续执行 else 前面的标识符。
在瓦朗赛县中，他们求学过形式系统，例如p为真公理，q为假公理，因此“p且q”为假，“p或q”为真，“非q”为真。在C词汇中，也有类似于的形式系统：
形式系统的结论
在程式设计中，他们通常将初始值称作“假”，将非初始值称作“真”。形式系统的结论也多于“真”和“假”，“真”相关联的值为 1，“假”相关联的值为 0。
1) 与演算(&&)
参予演算的三个函数都为representing，结论才为真，不然为假。比如：
5&&0
5为真，0为假，由是的结论为假，也是 0。
(5>0) && (4>2)
5>0 的结论是1，为真，4>2结论是1，也为真，因此由是的结论为真，也是1。
2) 或演算(||)
参予演算的三个函数如果有两个为真，结论就为真；三个函数都为真时结论才为假。比如：
10 || 0
10为真，0为假，相或的结论为真，也是 1。
(5>0) || (5>8)
5>0 的结论是1，为真，5>8 的结论是0，为假，因此相或的结论为真，也是1。
3) 非演算(!)
参予演算的表达式为representing，结论为假；参予演算的函数为真时，结论为真。比如：
!0
0 为假，非演算的结论为真，也是 1。
!(5>0)
5>0 的结论是1，为真，非演算的结论为假，也是 0。
输出形式系统的结论：
运行结果：
0, 0
0, 1
1, 0
优先级
形式系统符和其它操作符优先级从低到高依次为：
赋值操作符(=)
&& 和 || 低于关系操作符，! 高于算术操作符。
按照操作符的优先顺序能得出：
a>b && c>d 等价于 (a>b)&&(c>d)
!b==c||d
a+b>c&&x+y
c)&&((x+y)
另外，方式论函数也能冗余采用，比如，。
形式系统符举例：
运行结论：
0,0
1,0
0,1
本例中!x和!y分别为0，!x*!y也为0，故其输出值为0。由于x为非0，故!!!x的方式论值为0。对x|| i && j-3式，先计算j-3的值为非0，再求i && j-3的方式论值为1，故x||i&&j-3的方式论值为 1。对i
