С(x∨¬y⇒x∧z)⇒¬(x⇒¬y)∨(y↔¬z)

Серверы файловых архивов в операционной системе Windows.:

В Интернете существуют серверы файловых архивов, на которых хранятся файлы различных типов (программы, драйверы устройств, графические и звуковые файлы и т. д.). Наличие таких серверов файловых архивов очень удобно для пользователей, так как многие необходимые файлы можно скачать непосредственно из Интернета.

Серверы файловых архивов, а также возможность скачать программу поддерживают многие компании — разработчики программного обеспечения и производители аппаратных компонентов компьютера и периферийных устройств. Размещаемое на таких серверах программное обеспечение является свободно рас или условно бесплатным, и поэтому, скачивая тот или иной файл, пользователь не нарушает закон об авторских правах на программное обеспечение.

Менеджеры загрузки файлов. В операционной системе  Windows для удобства пользователей многие серверы файловых архивов (freeware.ru, www.freesoft.ru,www.download.ru) имеют Web-интерфейс, что позволяет работать с ними с использованием браузеров. Браузеры являются интегрированными системами для работы с различными информационными ресурсами Интернета и поэтому включают в себя менеджеры загрузки файлов.

Однако для работы с файловыми архивами удобнее использовать специализированные менеджеры загрузки файлов, которые позволяют приостановить загрузку файла после разрыва соединения с сервером, а затем возобновить загрузку с последнего места её прерывания после восстановления связи с Интернетом. В некоторых менеджерах загрузки файлов (например, FlashGet) достигается увеличение скорости загрузки за счет разбиения файла на части и одновременной загрузки всех частей.

Менеджеры загрузки файлов предоставляют пользователю подробную информацию в числовом и графическом виде о процессе загрузки файла (объем файла, объем загруженной части, в том числе в процентах, скорость загрузки и оставшееся время загрузки и др.).

Адрес файла на сервере файлового архива. Доступ к файлам на серверах файловых архивов возможен как по протоколу HTTP, так и по специальному протоколу передачи файлов FTP (File Transfer Protocol). Протокол FTP позволяет не только загружать файлы с удаленных серверов файловых архивов на локальный компьютер, но и, наоборот, производить передачу файлов с локального компьютера на удаленный сервер.

Адрес файла на сервере файлового архива включает в себя доступа к файлу, имя сервера Интернета, на котором находится файл, и имя файла.

Если в качестве доступа к файлу file.exe, хранящемуся на сервере ftp.microsoft.com/, используется протокол передачи файлов FTP, то адрес файла запишется следующим образом:

ftp://ftp.microsoft.com/file.exe

Репозитарии программ в операционной системе Linux. В операционной системе Linux компоненты самой системы и приложения хранятся в репозитариях в виде «пакетов» (расширение rpm), которые каждый пользователь может скачать и установить в своем варианте системы. То есть каждый пользователь компонует свою операционную систему  Linux и ее приложения исходя из своих нужд и предпочтений, используя для этого набор пакетов в репозитариях.

Електронна таблиця іноді табличний процесор (англ. electronic spreadsheet — рідко електронний аркуш) — це інтерактивний, комп'ютерний застосунок для налагодження, аналізу та збереження даних у табличному форматі. Спочатку електронні таблиці дозволяли обробляти виключно двовимірні таблиці, передусім з числовими даними, але потім з'явилися продукти, які крім цього дозволяли з'єднувати кілька таблиць для спільної роботи й обробки, включати текстові, графічні й інші мультимедійні елементи. Інструментарій електронних таблиць включає різноманітні математичні функції, що дозволяють ввести складні статистичні, фінансові та інші розрахунки. Часто електронні таблиці включають вбудовану скриптову мову програмування для автоматизації типових робіт.

Объяснение: