Yanxuan Cui
Results
1
comments of
Yanxuan Cui
It seems like espresso converts the permutation of the variables. f_tt = truthtable((D, C, B, A), '1011010110010100') g_tt = expr2truthtable(espresso_tts(f_tt)[0]) f_tt A B C D 0 0 0 0 :...