真值的计算过程
，开始从左向右扫描，至发现第一个右半括号为止 ，便返回至最近的左半括号
，得部分公式（Q∧R）方可计算真值，随后又向右扫描 ，至发现第二个右半括号，便返回至第二个左半括号
，于是得部分公式(P∨(Q∧R))并计算真值，重复这个过程直至计算结束
。

二、波兰式

一般地说 ，使用联结词构成公式有三种方式
，中缀式如P∨Q，前缀式如∨PQ ，后缀式如PQ∨

前缀式用于逻辑学是波兰的数理逻辑学家J. Lukasiewicz提出的, 称之为波兰表示式。

如将公式(P∨(Q∧R))∨(S∧T)的这种中辍表示化成波兰式
，可由内层括号逐步向外层脱开（或由外层向里逐层脱开）的办法

公式(P∨(Q∧R))∨(S∧T)的波兰式表示：

∨P∧∨QRS

以波兰式表达的公式，由计算机识别处理的过程 ，当自右向右扫描时可以一次完成
，避免了重复扫描 。同样后辍表示（逆波兰式）也有同样的优点，而且自左向右一次扫描（看起来更合理）使可识别处理一个公式 ，很是方便
，常为计算机的程序系统所采用，只不过这种表示的公式 ，人们阅读起来不大习惯
。

数学小丛书》

中国的数学科普书籍，不乏一些经典之作
，有些更是传世精品，可惜大部分印数不多 ，基本上不超过5000册
，有些经典已不再版，令喜欢数学的人一书难求。

近年非常可喜的一件事是 ，上世纪六十年代出版的
，由数学大师和著名数学家撰写的《数学小丛书》，2002年由科学出版社结集重新