离散数学命题逻辑代码

离散数学命题逻辑代码怎么写？试着利用命题公式的推理关系解决逻辑问题并用代码表示出来