A ∪ (A ∩ B) = A ~(A ∪ B) = ~A ∩ ~B A Δ B = (A - B) ∪ (B - A)
Discrete Math Lab 03

集合恒等式
智能证明工场

把真值表、等式置换、反证法和 AI 讲解放到一个可交互的证明展台里。

5标准示例
3证明方法
AIDeepSeek 讲解
Proof Studio

表达式证明工作台

本地证明器就绪
=
自动判定

等待证明

选择示例或输入表达式后开始。

-方法
-枚举行
-推导步
Expression Graph

语法树可视化

Proof Trace

置换路径

Truth Map

隶属状态图

Truth Table

真值表与反例高亮

DeepSeek V4

AI 讲解

等待生成
点击“DeepSeek 讲解”，生成当前证明的详细说明。