طلب la négation de la implication et équivalence

[omar-mathelem]

Salem

la négation de l'implication et l'équivalence

[jumbo_file]

la negation de l'implication :
non(p=>q)<=>(p et non q)

ie : la negation de p=>q est *****alente a p et la negation de q