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

2024年11月16日 14:57
有1个网友回答
网友(1):

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