Therapyx: ничего не понял из последнего.
строишь матрицу
x y z
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
и т.д.
потом подставляешь значения в исходную формулу, считаешь. Потом в ту, что получил после преобразования. Если результаты совпали на всём диапазоне значений, ты решил верно.
> но я совсем не вижу там ничего приблизительно, как в этом задании)
да лаадно?! совсем-совсем?
2) Заменить знак отрицания, относящийся ко всему выражению, знаками отрицания, относящимися к отдельным переменным высказываниям на основании формул:
3) Избавиться от знаков двойного отрицания.
4) Применить, если нужно, к операциям конъюнкции и дизъюнкции свойства дистрибутивности и формулы поглощения.
вот же!
Конъюнкция, она же умножение, она же /\, она же точкапосередине
Дизъюнкция, она же сложение, она же V, она же знакплюс.
MartyMcFly: У меня тоже MBP 15 года. Купил до кризиса, крайне доволен производительностью и продолжительностью автономной работы (5-8 часов на одном заряде). Сейчас они, конечно, в два раза дороже..
Как вариант, можно попробовать HP EliteBook. У меня до этого был HP ProBook 13''.
Ну, 13'' - это вообще не вариант для работы.. я его с внешним моником юзал. Автономность под линуксами была два часа от силы.
Александр Фарбер: а точно нет проблем с интернетами на устройстве? Судя по скрину, тут до редиректа еще не дошло...
судя по документации, всё верно выполняется. (кстати, там ссылка на приложение-пример есть)
dk-web: да, забыл сказать, установка autocrlf = false, если в команде работают и линуксоиды и вендузятники (или если деплой на линуксовый сервер, а разработка под венду) - это выстрел в ногу, а при некоторых обстоятельствах, даже в голову.
Так что, почитай повнимательнее документацию.
dk-web: водички чтоль хлебнул бы.. чего какой "реский"? ;) ну, реально, не вопрос, а поток сознания. И, я гарантирую тебе, если ты будешь изучать инструменты, которыми пользуешься, сэкономишь много нервов ;)
про число файлов не заморачивайся. когда ты делаешь новый бранч, ты не удваиваешь размер репозитория, если ты об этом беспокоишься
тэг - это просто символьное имя коммита, не более. так что, это совсем не то, что ты ищешь.
но, да. есть NDK, можешь его посмотреть для общего развития.