这个报错是哪里出了问题啊,应该怎么解决呢,可以帮忙解答一下吗
检查 x.detach()和y.detach()看看是不是有空的
永真式
永假式
可满足式
等价式
范式
代入规则
替换规则
析取范式
合取范式
范式存在定理
简单合取式
简单析取式
极小项
极大项
主析取范式
主合取范式
闭式
集合的性质
集合的关系
幂集
关系的表示方法
等价类
等价类的性质
商集
划分
偏序关系
盖住关系
上界下界下确界上确界
全序关系
良序关系
满射
单射
双射
基数
有限集
无限集
代数系统
幂等律
幺元零元逆元幂等元可消去元
半群子半群可交换半群含幺半群
群
平凡子群 交换群 循环群
格 分配格 有补格 布尔格 有界格
混合图 底图 零图 平凡图 多重图 线图 简单图
图的同构
子图 真子图 生成子图 自补图
简单路 基本路
点割集 割点 点连通度 边割集 割边 边连通度
单向连通 弱连通 强连通
欧拉图 欧拉回路 欧拉图的判定
哈密顿图 哈密顿回路 哈密顿图的判定