[讨论]谁能证明这个等式呀! — 编程爱好者社区

您所在位置：社区首页 — 大学计算机专业课程 — [讨论]谁能证明这个等式呀!

回帖发新帖刷新版面

主题：[讨论]谁能证明这个等式呀!

jplearn [专家分：30] 发布于 2006-04-25 22:03:00

A->(B->A) <=> ┐A->(A->┐B)
谁能证能这个公式呀!

本帖地址： http://bbs.pfan.cn/post/160900.html

回复列表（共1个回复）

沙发

qly74 [专家分：360] 发布于 2006-05-01 20:50:00

A->(B->A)
=┐Av┐BvA
=Av(┐Av┐B)
=┐A->(A->┐B)

我来回复

您尚未登录，请登录后再回复。点此登录或注册