«Булева алгебра. Логические операции, формулы и их преобразование»

Постановка задачи
- Преобразовать логическую функцию к более простому виду.
 - Проверить полученную логическую функцию подстановкой нулей и единиц для аргументов Х1, Х2, Х3
Основоположником математической логики является английский математик Джордж Буль (1815 – 1864). Он впервые высказал идеи логического истолкования теории множеств.
Рассмотрим 2-х элементное множество В, элементы которого 0 и 1. Однако они не являются числами в обычной системе. Наиболее распространенная интерпретация двоичных переменных – это: «Да - Нет» или «Истинно - Ложно». Например в языках программирования вводится специальный тип переменной – логическая переменная, значения которой обозначает True или False.
Таким образом, элементы множеств В = {0,1} будем рассматривать как формальные символы, а не числа.
 Алгебра, образованная множеством В вместе со всеми возможными операциями на нем, называется алгеброй логики или Булевой алгеброй.
Булевой функцией f(x1, x2, x3,...xn) называется функция, которая принимает два значения 0 или 1 в зависимости о переменных xi, каждая из которых может также принимать только два значения 0 или 1.

Работа соответствует 7-му варианту. Данная работа подойдет тем, кто поступил на первый курс Карагандинского Государственного Технического Университета.