离散数学 - 逻辑与推理

第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((

你可能感兴趣的:(Educoder实训,python)