Question

这道离散数学题怎么做，各位大神求救

这道离散数学题怎么做

Answer 1

用A'表示非A.
A→(B→C)'
=A→（B'+C）'
=A'+BC',
(AC)'(A→B)
=(A'+C')(A'+B)
=A'+BC',
所以命题成立。