Объяснение
Импликация A⇒B ложна только при истинном A и ложном B. Она не утверждает причинность. Для отрицания составного условия применяются законы де Моргана: не(A и B) равносильно не A или не B.
Задача для самостоятельного решения
Постройте отрицание условия «авторизован и владелец».
Показать разбор ответа
Отказ разрешён, когда пользователь не авторизован или не владелец. Для четырёх комбинаций разрешение истинно только в случае (истина, истина).