Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса». Предмет: Математическая логика и теория алгоритмов

«Если зажигают звезды, то это кому-нибудь нужно; все это – тогда и только тогда, когда не хлебом единым жив человек».