Question

C语言中"如果A,则B"为什么与"!A||B"等价?

Answer 1

如果A则B，表示当A为true时，B为true。当A为false时，B随意
然后对于!A||B.
当A为false时，!A为true，整个式子为true，因此，B随意。
当A为true时，!A为false，需要判断B，B为true时，式子为true。
因此两者真值表完全一样，是等价的！

Answer 2

用①替代"如果A,则B"，用②替代"!A||B"
①与②等价的概念可以理解成①可以推出②
1.假使①成立，那么①整个逻辑就为真，因此，如果A为真，B也为真，此时②因为B为真，所以，②也为真。如果A为假，B也为假，此时因为A为假，！A就为真，所以式子②也为真。因此，无论A/B是真还是假，只要①成立，那么②也会成立