计算题

求命题公式的主析取范式，并求成真赋值。