离散数学 - 逻辑与推理

第1关：命题与逻辑

本关任务：学习命题与逻辑相关知识，完成相关练习。

#coding=utf-8  
import sympy as sym  
# 定义符号p，q，r。  
#***** Begin *****#  
p,q,r = sym.symbols('p,q,r')  
#***** End *****#  
# 输出(p->