Yanxuan Cui
Results
1
issues of
Yanxuan Cui
Excuse me, I have another question about Espresso A, B, C = map(exprvar, 'ABC') f_tt = truthtable((C, B, A), '10110101') f_ex = truthtable2expr(f_tt) g_ex = espresso_tts(f_tt)[0] f_ex.equivalent(g_ex) I think it...
Bug