JinHanLei/Tautology_Proof

Tautology_Proof

自动生成或者输入一个重言式，输出这个重言式的证明过程