Κοίτα επειδή και γω τέτοια κόλπα έκανα όλη την χρονιά στο φρο,μου έχουν ξεκαθαρίσει οι καθηγητές μου ότι οποιοσδήποτε τύπος που δεν υπάρχει μέσα στο βιβλίο αυτούσιος σαν θεωρία,δεν ισχύει αν δεν τον αποδείξεις.Η απόδειξη με διάγραμμα venn δεν ισχύει(αν και φαίνεται ξεκάθαρα,το ξέρς σε νιώθω

)
πρέπει να το αποδείξεις όπως τους τύπους Morgan(π.χ. χ ανήκει Α' άρα χ δεν ανήκει Α κλπ...)
ακριβώς επειδή αυτό είναι χρονοβόρο,το μόνο που βολεύει και λαμβάνεται σωστό κατευθείαν είναι το
P[(A-Β)ένωση(Β-Α)]