摘要： 简单逻辑表达中 有 ->, ~, ^ 即已完备 ，故我现在只引入了这几个 规则在 rules.txt中 目前只支持 if .... then . then后只有一个项 不能用^ ~ 表示否定 ^ 表示并且 规则例子 if A1 then B1 ; if ~ A1 then ~ B1 ; if 干性皮肤 then 洗脸 ; if 干性皮肤 then 防晒 ; if 冬天 then ... 阅读全文