生成命题逻辑公式真值表(包括子式)，支持：或/与/非/异或/蕴含（条件），可复制