BJR imane20 !!
L'implication {P =====> Q} est EQUIVALENTE à " NonP OU Q "
Celle que tu nous proposes est donc équivalente à :
" Non(A ET NonA) OU B "
soit "{ NonA OU A } OU B"
Comme " NonA OU A " est TOUJOURS VRAIE alors
"NonA OU A OU B" l'est également !!!!
A+ LHASSANE