1) Выполнить задания по алгебре высказываний и исчислению высказываний: a. Построить таблицу истинности для посылок и заключения и по таблице истинности доказать истинность заключения из данных посылок;

b. Упростить посылки и заключения, т.е. привести их к базису {Ø, &, Ú} с минимальным числом операций;

c. Привести посылки и заключение к базисам {Ø, &} и {Ø, Ú};

d. Для посылок и заключения построить КНФ, ДНФ, СКНФ, СДНФ;

e. Доказать истинность заключения путём построения дерева доказательства;

f. Доказать истинность заключения методом дедуктивного вывода (с построением графа дедуктивного вывода);

g. Доказать истинность заключения методом резолюции (с построением графа вывода пустой резольвенты).
(A⇒B) вывод ( не B или C)(не A или C)
(A⇒(B⇒C))((A&B)⇒C)

В те же годы в Баку В. Г. Шухов и О. Ленц изобрели форсунку и обременительный производства — мазут, ранее сжигавшийся в мазутных ямах, стал применяться вкачестве топлива для паровых котлов. Исключительныекачества этого нового вида горючего — его высокая теплопроизводительность, простота хранения и перевозок — сделали мазут незаменимым топливом в разнообразныхотраслях промышленности. Спрос на мазут рос из года в год.Нефтяное топливо стало вытеснять уголь в ведущих отраслях промышленности, в железнодорожном и водном транспорте, в военном флоте и пр. Переход на нефтяное топливо дал возможность повысить грузоподъемность судов и увеличить ихрадиус действия и тем самым придал жидкому топливу большоеполитико-экономическое и военное значение. [c.5]

    Научно-техническая революция заметно вторгается втехнику производства и потребления электроэнергии. За каждые 10 лет мировое производство электроэнергии удваивается. Кроме того, все шире внедряются перспективные ядерные энергоресурсы взамен традиционных — природный газ, жидкое топливо, уголь. Поэтому технологические процессы,- использующие электроэнергию, прогрессивны. К последним относятся и процессы химическойэлектротермии.

Цифры обозначают рисунки :
1) для начала нужно начертить окружность;
2) через центр окружности ( точку О ) провести координатную плоскость;
3) проведем диагонали оси и ординаты, как показано на рисунке;
4) по точкам соприкосновения этих диагоналей с окружностью проведем линии, впоследствии уже стороны будущего квадрата.
Пояснение :
т.к. квадрата - сама по себе фигура симметричная, то любая линия, проходящая через его центр, делит его на две равные части, соответсвенно и окружность, т.к. она описана возле квадрата ( симметричной фигуры ) соответственно и оси симметрии окружности будут совпадать с осью симметрии квадрата.