离散数学p→﹁q的成真赋值?

2024-11-16 14:57:43
推荐回答(1个)
回答(1):

﹁p→q <==> ﹁﹁ p∨q <==> p∨q
 <==> M0 (主合取范式)
 <==> m1∨m2∨m3 (主析取范式)
所以,该公式的成真赋值为 01, 10, 11。