Законы логики Булевы алгебры Закон двойного отрицания примеры