3.4 二元EDA