Dimostrazione leggi di De Morgan