（离散编程）试着利用命题公式的推理关系解决下列逻辑问题

Question

（请用C语言）
试着利用命题公式的推理关系解决下列逻辑问题：
一对夫妻带着他们的一个孩在路上碰到一个朋友。朋友问：“你是男还是女？”朋友没听清孩的回答。孩的父母中某一个说，我孩回答的是“我是男孩”，另一个接着说：“这孩撒谎，她是女孩。”这家人中男性从不说谎，而女性从来不连续说两句真话，也不连续说两句假话。试问这小孩性别，以及谁是其父亲，谁是其母亲？

Answer 1

这个里面有：https://wenku.baidu.com/view/d8a95c287fd184254b35eefdc8d376eeaeaa17b5.html