主析取范式和主合取范式——等值演算
发布人