以Π系统为背景，针对由单个原子生成的公式，解决了王国俊教授提出的函数决定公式的问题（VDF问题），即满足什么条件的函数可由逻辑公式导出，或逻辑公式的真值函数的特征如何；进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类；最后又给出了由单个原子生成的公式的真度分布情况。