4. Некоторые законы булевой алгебры