Законы тождества

– законы де Моргана

– двойное отрицание