命题逻辑--主析取主合取范式