propositional_logic_system

• 问题描述
  该系统要求实现命题逻辑中基本算法及其应用系统，包括真值表的计算、主析取和主合取范式的计算。通过此课题，熟练掌握命题公式的计算机表示、命题等价常见算法的实现，实现一个简单的命题逻辑应用系统。

• 需要实现的功能或函数
  （1）计算显示任一个命题公式的真值表
  （2）计算命题公式的主析取范式
  （3）计算命题公式的主合取范式
  （4）判断两个命题公式是否等价（或蕴含）
  （5）如有可能，试着利用命题公式的推理关系解决下列逻辑问题： 一对夫妻带着他们的一个孩子在路上碰到一个朋友。朋友问孩子：“你是男孩还是女孩？”朋友没听清孩子的回答。孩子的父母中某一个说，我孩子回答的是“我是男孩”，另一个接着说：“这孩子撒谎，她是女孩。”这家人中男性从不说谎，而女性从来不连续说两句真话，也不连续说两句假话。试问这小孩性别，以及谁是其父亲，谁是其母亲？
  （6）有个简单直观的界面，以便显示使用上述函数功能。