Нужно решить тест заранее благодарю

#3."Аленка"-конфета
это вроде :)

A v ¬B v C & (¬A v B & ¬C) = 
A v ¬B v C & ¬A v C & ¬A & ¬C = 
A v ¬B v C & ¬A

но не уверен на 100%

Linux - это операционная система, являющаяся одним из вариантов (клонов) операционной системы типа Unix. В своем первоначальном виде она была создана Линусом Торвальдсом (Linus Torvalds) как версия ОС UNIX для IBM-совместимых персональных ЭВМ . При этом Торвальдс опубликовал исходные коды своей системы в Интернет (файлы первого варианта ОС Linux, опубликованные Торвальдсом в Интернет, датированы 17 сентября 1991 года) и к развитию системы подключилось большое число независимых разработчиков. Благодаря этому на сегодняшний момент Linux - самая современная, устойчивая и быстроразвивающаяся система, почти мгновенно вбирающая в себя самые последние технологические новшества. Может использоваться как в качестве серверной ОС, так и на сетевых рабочих станциях или персональных компьютерах. В 1998 Linux была самой быстро развивающейся операционной системой для серверов, распространение которой увеличилось в том же году на 212 %. Сегодня пользователей Linux насчитывается более 20,000,000. Под Linux существует множество приложений, предназначенных как для домашнего использования, так и для полностью функциональных рабочих станций UNIX и серверов Internet.
ОС LINUX обладает всеми возможностями, которые присущи современным полнофункциональным операционным системам типа UNIX, включая реальную многозадачность, виртуальную память, разделяемые библиотеки, загрузку модулей по требованию, совместное использование исполняемых программ, управление памятью и работа в TCP/IP сетях. Она претендует на соответствие стандарту для ОС типа UNIX - POSIX (Portable Operating System Interface - интерфейс мобильной операционной системы).
Хотя ОС Linux первоначально была разработана для ПК на базе Intel 386/486, сейчас она может работать на всех версиях Intel-овских микропроцессоров, начиная с 386 и кончая многопроцессорными системами на Pentium Pro. Кроме того, разработаны версии для других типов процессоров - ARM, DEC Alpha, SUN Sparc, M68000 (Atari и Amiga), MIPS, PowerPC и других (в настоящей работе рассматривается только вариант для IBM-совместимых компьютеров).