二、波兰式 　　一般地说，使用联结词构成公式有三种方式，中辍式如P∨Q, 前辍式如∨PQ, 后辍式如PQ∨。 　　前缀式用于逻辑学是由波兰的数理逻辑学家J. Lukasiewicz提出的, 称之为波兰表示式。 　　如将公式P∨((Q∧R)∧S)的这种中辍表示化成波兰式，可由内层括号逐步向外层脱开（或由外层向里逐层脱开）的办法。如图1.6.2 　　以波兰式表达的公式，由计算机识别处理的过程，当自右向右扫描时可以一次完成，避免了重复扫描。同样后辍表示（逆波兰式）也有同样的优点，而且自左向右一次扫描（看起来更合理）使可识别处理一个公式，很是方便，常为计算机的程序系统所采用，只不过这种表示的公式，人们阅读起来不大习惯。