一，命题逻辑
1，写出程序输入p,q的真值，输出有关p,q的逻辑表达式的真值表
2，写出程序输入p,q,r的真值，输出有关p,q,r的逻辑表达式的真值表
3, 写出程序，测试关于p,q的 两个逻辑表达式是否逻辑等价
4，写出程序，测试关于p,q，r的三个逻辑表达式是否逻辑等价
二
1，写出程序，判断一个关系是否具有自反性
2，写出程序，判断一个关系是否具有反自反性
3，写出程序，判断一个关系是否具有对称性
4，写出程序，判断一个关系是否具有反对称性
5，写出程序，判断一个关系是否具有传递性
6，求二元关系R的 自反，对称，传递，闭包

2个大题各选一个~~~