On The Principal Norm Forms of Proposition Formulae

• 关于命题公式的主范式