(A || !A && B) == (A || B) Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>master
parent
b8aa55cb64
commit
41ec127016
Loading…
Reference in new issue