离散编程题

对用户任意输入的字符序列进行如下操作： 1.判断输入是否合法。比如!Vp->q不合法。提示：不符合命题公式定义 2.求主析取范式，如果有给出成真赋值。求解一个具体的推理问题，如测验中的说谎问题。