妳把它分為兩步來看：
每個命題變元或其否定兩者之壹只出現壹次：就是比如p與非p這兩個，在壹個式子裏只能出現壹個
按字典順序或按下標從小到大順序排列：比如q∧p∧s∧r就寫成p∧q∧r∧s ; p3∧p2∧p4∧p1就寫成p1∧p2∧p3∧p4
這樣做的目的是為了好看和方便