离散数学 - 逻辑与推理
第1关：命题与逻辑
本关任务：学习命题与逻辑相关知识，完成相关练习。
#coding=utf-8
import sympy as sym
# 定义符号p，q，r。
#***** Begin *****#
p,q,r = sym.symbols('p,q,r')
#***** End *****#
# 输出(p->q)^r。
#***** Begin *****#
sym.pprint((本关任务：学习命题与逻辑相关知识，完成相关练习。
#coding=utf-8
import sympy as sym
# 定义符号p，q，r。
#***** Begin *****#
p,q,r = sym.symbols('p,q,r')
#***** End *****#
# 输出(p->q)^r。
#***** Begin *****#
sym.pprint((