用等值演算法求下列公式的主析取范式，并求其成真赋值。