问答题

计算题 求下列命题公式的主析取范式,并求命题公式的成真赋值:¬(p→q)↔(p→¬q)

【参考答案】