Физика двоичной логики / Хабр

Вопрос «Как работает компьютер?» чрезвычайно многогранен и ответ на него зависит от выбранного уровня абстракции. Рассказ о компьютере может строиться вокруг прикладного ПО, операционной системы или архитектуры. Эта статья — попытка дать ответ на этот вопрос с точки зрения нижних уровней абстракции: логических схем и принципа их работы.

О системах счисления

Система счисления — это метод записи чисел. В повседневной жизни мы используем арабскую систему счисления, а именно десятичную позиционную. По мнению историков, арабские цифры появились в Индии ориентировочно до 5 века нашей эры. В Европу они пришли в начале второго тысячелетия из арабских стран, собственно, поэтому и принято называть привычные нам цифры арабскими. В России арабская система счисления появилась в 14-15 веке, а к 18 веку и вовсе вытеснила отечественную разработку под названием цифирь.  

Причины использования арабской системы довольно тривиальны. Человеку попросту проще оперировать с ней, чем с другими непозиционными системами. 

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

Двоичная система счисления минимизирует эти сложности, хотя есть примеры ЭВМ и на других системах, например, ЭВМ «Сетунь» на троичной логике.

Цифровая абстракция

Как правило, физические величины изменяются непрерывно. В противовес им, цифровое представление информации дискретно и строго определенно. В компьютере, построенном на двоичной логике, для абстракции нулей и единиц используется напряжение: высокое значение величины — это логическая единица, а низкое — логический ноль.

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

Логические выражения

Алгебра логики — это раздел математики над логическими выражениями. Под логическими выражениями подразумеваются суждения, высказывания, предложения и т.п., истинность которых можно определить однозначно — правда или ложь. Разумеется, не любое высказывание является логическим. Например, выражение «в декабре 31 день» является логическим, потому что однозначно истинно, а выражение «новая матрица — сомнительное кинопроизведение» не является логическим, поскольку отражает субъективную позицию и содержит неопределенную характеристику «сомнительное», хотя спорить с данным тезисом довольно сложно, если и вообще возможно.

Вопросительные высказывания также не являются логическими выражениями, так как судить об их истинности не имеет смысла. Также стоит отметить, что зачастую сложно определить, является ли выражение логическим. Так, выражение «площадь России составляет 17 130 000 квадратных километров» в определенной ситуации можно считать логическим, а в другой нет. Определить точную площадь невозможно, поэтому данное высказывание будет считаться логическим в том случае, если эта оценка будет приемлемой на практике.

Логические связки

Разобравшись непосредственно с логическими выражениями, определим операции над ними. Под операциями над логическими выражениями принято подразумевать логические связки. Типичными примерами логических связок являются «и», «или», «если …, то» и т.п., позволяющие составлять из логических выражений новые. Например, «Столица России — Москва и столица США — Вашингтон». Это высказывание является истинным, поскольку его составные также являются истинными. Подробнее логические связки и правила их работы мы разберем далее.

Математический язык

В рамках данной части будут введены основные логические операции и их обозначения, аксиомы алгебры логики и её законы.

Логические операции

Название операции	Обозначение	Речевой оборот
Инверсия (отрицание, логическое НЕ)	¬A; A̅;	Не A; Неверно, что A;
Дизъюнкция (логическое ИЛИ)	A V B; A + B;	А или В или оба вместе;
Конъюнкция (логическое И)	A Λ B; A & B; A · B;	A и B вместе;
Импликация (следование)	A → B;	если A, то B;
Эквивалентность (тождество)	A↔B; A≡B;	A эквивалентно/равносильно B;
Стрелка Пирса (ИЛИ-НЕ)	A↓B;	Ни A, ни B;
Штрих Шеффера (И-НЕ)	A|B;	Неверно, что A и B;
Сложение по модулю 2 (строгая дизъюнкция, XOR)	A⊕ B;	Либо A, либо B;

Символами A и B обозначены условные логические высказывания.

На логические операции распространяется определенный порядок выполнения:

1. Инверсия;
2. Конъюнкция и штрих Шеффера;
3. Дизъюнкция и стрелка Пирса;
4. Импликация и сложение по модулю 2;
5. Эквивалентность;

Однако как такового, общего стандарта нет. Поэтому, во избежание путаницы, желательно использовать скобки, принцип работы которых аналогичен обычным.

Аксиомы

Свойства и законы

Булевы функции

Булева функция — это брат-близнец функций из алгебры. Только вместо чисел в качестве переменных в ней логические высказывания. 

Предположим, у нас есть такая простецкая функция:

«Если A истинно, то B тоже истинно«, где А и В — это некие логические высказывания.

На математическом языке эта функция имеет такой вид:

Для иллюстрации зависимости между функцией и её аргументами в школьной алгебре обычно используются графики. В случае с булевой функцией применяются таблицы истинности.

Таблица истинности — это таблица, описывающая логическую функцию. В ней значения аргументов сопоставляются со значениями функциями. Для нашей функции таблица истинности будет следующей:

A	B	F(A.B)
0	0	1
0	1	1
1	0	0
1	1	1

На булевы функции распространяются законы и правила алгебры логики. Применим их для упрощения булевой функции f(A, B, C):

С таким видом этой функции работать проще. В том числе проще и составить таблицу истинности:

A	B	C	F(A, B,C)
0	0	0	0
0	0	1	1
0	1	0	1
0	1	1	1
1	0	0	1
1	0	1	1
1	1	0	1
1	1	1	1

Базис

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

Базис — это набор операций, позволяющий построить любые, сколь угодно сложные функции. Например, наиболее распространенным является базис {И, ИЛИ, НЕ}. Базисы особенно полезны при построении логических схем.

Логические схемы

Логические схемы необходимы для реализации функций алгебры логики в цифровом устройстве. Для составления логических схем используются логические вентили (элементарные логические схемы), реализующие логические операции. Упомянутые базисы позволяют сократить перечень логических вентилей, хотя и стремление к полной минимизации этого перечня путем использования наименьших базисов не совсем практично. Мы рассмотрим логические вентили упомянутого базиса {И, ИЛИ, НЕ} 

Логические вентиль И

У логического вентиля И два входа (А, В) и один выход (Z). Вентиль можно описать логической функцией Z=F(A,B)=A & B и таблицей истинности:

A	B	Z
0	0	0
0	1	0
1	0	0
1	1	1

Логический вентиль ИЛИ

У логического вентиля ИЛИ, как и у вентиля И, два входа и один выход. Его описывает функция Z=F(A,B)=A v B и таблица истинности:

A	B	Z
0	0	0
0	1	1
1	0	1
1	1	1

Логический вентиль НЕ

Логический вентиль НЕ имеет только один вход и один выход. На выход поступает инвертированное значение А. Функция вентиля НЕ: Q=F(A)=¬A

Обозначения по ГОСТ и другим стандартам

Сумматор

В качестве примера логической схемы, реализующей математическую операцию, рассмотрим многоразрядный двоичный сумматор. Складывать мы будем два двоичных числа. Для построения многоразрядного двоичного сумматора нам понадобится одноразрядный сумматор. Начнем с него.

Разберемся с чем мы будем оперировать: две двоичных цифры. При сложении чисел нам, так или иначе, придется работать с переносом. Например, при сложении двух единиц в двоичной системе счисления мы получим 10:

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

A	B	S
0	0	0
0	1	1
1	0	1
1	1	0

Имея таблицу истинности, мы можем составить для неё булеву функцию:

Запомним эту функцию.

Добавим в наш сумматор перенос: как с предыдущего разряда (еще один вход), как и для следующего (ещё один выход).

Таблица истинности для сумматора с переносом:

A	B	P вход	S	P выход
0	0	0	0	0
0	0	1	1	0
0	1	0	1	0
0	1	1	0	1
1	0	0	1	0
1	0	1	0	1
1	1	0	0	1
1	1	1	1	1

Теперь необходимо составить две булевы функции: для переноса и новую для разряда.

Чисто математически перенос для разряда — это ещё одно слагаемое в сумме. У нас уже есть функция для суммы, воспользуемся ей:

Нам необязательно раскрывать и упрощать эту функцию. Для построения логической схемы такой формы будет достаточно. Определимся с функцией для переноса.

Перенос равен единице в том случае, если из трех входных величин как минимум две равны единицы. Исходя из этого, можно составить вот такую функцию:

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

Обозначение будет использовано в следующих схемах. Теперь составим схему для функции переноса:

Имея две логические схемы мы можем составить из них одноразрядный двоичный сумматор:

Если несколько одноразрядных сумматоров соединить последовательно, то получится многоразрядный сумматор: 

Физика логического уровня

Итак, мы рассмотрели базовые концепции логического уровня: вентили и булеву алгебру. Из простейших логических элементов, как из кирпичиков Лего, строятся более сложные устройства (сумматор, шифратор, мультиплексоры, триггеры и другие), из них — еще более нетривиальные схемы и так далее, пока не получится цифровая схема с необходимой логикой. Теперь опустимся на уровень ниже и выясним, какие физические процессы заставляют все это добро работать на практике. 

Физические принципы

Физически логические элементы могут быть самыми разнообразными: механическими, электромеханическими, электронными, оптическими и т.д. Некоторые умудряются конструировать схемы на основе жидкости или газов, как в этом видео:

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

Логический вентиль AND в Z1, реализованный с помощью металлических пластин. Более подробное описание устройства Z1 тут.

Конечно же, такие механизмы часто заедали и искажали результат, делая Z1 почти бесполезной на практике. В Z2-Z4 Цузе заменил пластины на электромагнитные реле и даже просил у правительства Третьего Рейха денег на полностью электронные компоненты, но ему отказали.

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

Радиолампа (двойной триод)

Если добавить между двумя электродами третий электрод (сетку), то получится триод. Изначально триоды предназначались для усиления сигналов, так как ток через триод повторяет изменение потенциала на сетке и может быть намного сильнее. Однако нам интересней другое свойство: при подаче отрицательного потенциала на сетку, она начнет отталкивать электроны, не позволяя им достичь анода. С помощью такого эффекта управления можно реализовывать простейшие логические схемы. Например, возьмем два триода и соединим анод каждого с сеткой другого. Получиться устройство под названием триггер, которое может находиться в одном из двух устойчивых состояний (ток идет либо через первый триод, либо через второй), что позволяет хранить один бит информации. Другие схемы соединения триодов позволяют строить логические вентили. 

Схема триггера на двух ламповых триодах. Через один из триодов идет ток (триод открыт), благодаря этому на сетке второго возникает потенциал, не позволяющий току идти через второй триод (триод закрыт). Если кратковременно подать отрицательный потенциал на сетку открытого триод, то ток прекратится, поэтому второй триод откроется и закроет первый, тем самым перейдя во второе устойчивое состояние.

Хоть устройства на лампах работают быстрее механических и электромеханических, радиолампа остается крайне ненадежным прибором. Колба может потерять герметичность, спираль нагрева со временем перегорает, а сама лампа потребляет много энергии и имеет внушительные габариты. Если учитывать что первые ЭВМ состояли из тысяч ламп, обслуживание лампового монстра превращалось в головную боль для инженеров. 

В 1947 Уильям Шокли, Джон Бардин и Уолтер Браттейн создали усилитель нового типа, состоявший из германиевой пластины и полоски золотой фольги. Спустя несколько лет им присудили Нобелевскую премию по физике. Этим изобретением был транзистор — устройство, полностью изменившее индустрию вычислительной техники.

Копия первого в мире работающего транзистора.

Транзистор

С концептуальной точки зрения транзистор очень похож на радиолампу-триод. Это переключатель с двумя положениями «включить» и «выключить», управляемый с помощью подачи напряжения или тока. Однако в сравнении с вакуумными лампами транзисторы имеют ряд преимуществ: они миниатюрны, потребляют значительно меньше электроэнергии и крайне редко выходят из строя (относительно тех же ламп). Благодаря изобретению транзистора компоненты логических элементов перешли из разряда «расходных материалов» в разряд «постоянных узлов конструкции».

Существуют два основных типа транзисторов — биполярные транзисторы и МОП-транзисторы (металл-оксид-полупроводник-транзистор или полевой транзистор). Различаются они тем, что первый управляется током, а второй — электрическим полем (отсюда и название «полевой»). В сфере производства цифровых интегральных схем полевые транзисторы практически полностью вытеснили биполярные.

Сегодня, после нескольких десятилетий развития полупроводниковых технологий, инженеры способны «упаковать» около одного миллиарда МОП-транзисторов на квадратном сантиметре кристалла кремния (с себестоимостью транзистора менее десяти микроцентов). 

Полупроводники

Выше мы говорили о «полупроводниковых технологиях». Что такое полупроводник? Некоторые могут подумать, что полупроводники проводят электрический ток в два раза хуже обычных проводников (таких, как медь, золото или серебро). Это не так! МОП-транзисторы изготавливаются из кремния, элемента 14-й группы (4-й по устаревшей классификации, далее будем придерживаться именно ей). Благодаря 4 электронам, атом кремния может образовывать связи с 4 соседними атомами, формируя кристаллическую решетку. Кремний — так себе проводник (точнее плохой, так как все электроны заняты в ковалентных связях), однако при добавлении в него небольшого количества другого вещества (легировании) его проводимость может улучшиться. Если добавить атом 5 группы (примесь n-типа), то в нем останется один свободный электрон, который легко «гуляет» внутри кристаллической решетки. А если добавить элемент 3 атомной группы (примесь p-типа), то в атоме примеси будет отсутствовать один электрон (дырка). Дырка может перемещаться в кристаллической решетки подобно электрону, причем она будет вести себя как положительно заряженная частица. Отсюда и название «полупроводник» — с помощью концентрации примесей можно управлять проводимостью кремния.

Кристаллическая решетка атомов кремния. В качестве примеси n-типа (центр) использован мышьяк (атом, потерявший электрон, становится положительным ионом), в качестве примеси p-типа (справа) использован бор (при перемещении дырки атом бора получает дополнительный электрон и становится отрицательным ионом).

n-МОП и p-МОП транзисторы

Полевой МОП-транзистор можно представить в виде «сэндвича» из нескольких слоев. Верхний слой называется затвором. Он наложен на слой изолятора — диоксида кремния (SiO2, иногда его называют просто оксидом). Этот слой в свою очередь располагается над кремниевой пластиной, называемой подложкой. Сегодня в качестве металла затвора используется поликристаллический кремний, поскольку он не плавится в ходе высокотемпературной обработки кристалла. Слои металл-оксид-полупроводника образуют конденсатор, в котором тонкий слой оксида (диэлектрик) изолирует металлическую пластину от полупроводниковой. 

Существуют два вида полевых МОП-транзисторов: n-МОП и p-МОП. В транзисторах n-типа, называемых n-МОП, области, где расположены полупроводниковые примеси n-типа – в свою очередь называемые истоком и стоком – находятся рядом с затвором, причем вся эта структура размещается на подложке p-типа. В транзисторах же p-МОП и исток, и сток – это области p-типа, размещенные на подложке n-типа.

Полевой МОП-транзистор ведет себя как переключатель, управляемый приложенным к нему напряжением. В таком транзисторе напряжение перехода создает электрическое поле, включающее или отключающее линию связи между источником и стоком.

Диод — соединение p-полупроводника (катода) и n-полупроводника (анода). Когда напряжение на аноде превышает напряжение на катоде, ток идет (от анода к катоду). В обратном случае ток не течет. На рисунке представлена схема работы n-МОП транзистора. Когда напряжение на затворе равно 0 В, канал движения тока между истоком и стоком закрыт (транзистор выключен). Когда напряжение на затворе равно напряжению питания (Vdd), это создает электрическое поле между затвором и подложкой, в результате в зону между истоком и стоком под слоем окисла формируется избыток электронов. При достаточно высоком напряжении на нижней границе затвора накапливается настолько много электронов, что область с полупроводником p-типа превращается в область с полупроводником n-типа. Такая область называется каналом. В этот момент в транзисторе образуется область проводимости от источника n-типа, через каналы n-типа к стоку n-типа, и через этот канал электроны могут беспрепятственно перемещаться от истока к стоку. Транзистор включен. p-МОП-транзисторы работают ровно наоборот.

К сожалению, полевые МОП-транзисторы плохо работают в роли переключателя. n-МОП-транзисторы хорошо передают логический 0 и плохо логическую единицу. p-МОП — наоборот. Поэтому для создания хороших логических вентилей, хотелось бы иметь оба транзистора на одном кристалле. Однако для n-МОП- и p-МОП-транзисторов требуются разные типы подложек. Для размещения двух типов транзисторов на одном кристалле применяется комплементарный МОП (КМОП). В настоящее время КМОП-процесс используется для изготовления подавляющего большинства транзисторов и микросхем.

Логические вентили на КМОП-транзисторах

Для подробного описания построения всевозможных логических вентилей здесь просто не хватит места. Поэтому в качестве примера возьмем простейшие логические элементы и рассмотрим их реализацию на КМОП-транзисторах. Вентиль НЕ:

n-МОП-транзистор N1 включен между землей GND и выходным контактом Y. В свою очередь, p-МОП транзистор P1 включен между напряжением питания VDD и выходным контактом Y. Напряжение на входном контакте А управляет переходами обоих транзисторов.

Если напряжение на А соответствует логическому нулю, то транзистор N1 выключен, а транзистор P1 включен. При этом, напряжение на контакте Y равно напряжению питания, а не земли, что соответствует логической единице. В этом случае говорят, что Y «подтянут» к единице. Включенный транзистор P1 хорошо передает логическую единицу (равную напряжению питания), то есть напряжение на контакте Y очень близко к VDD. Если же напряжение на контакте А равно логической единице, то транзистор N1 включен, а транзистор P1 выключен, и напряжение на контакте Y равно напряжению земли, что соответствует логическому нулю. В этом случае говорят, что Y «подтянут» к нулю. Включенный транзистор N1 хорошо передает логический ноль, то есть напряжение на контакте Y очень близко к GND. Получается, что если A=1, то Y=0, а если A=0, то Y=1. Это соответствует таблице истинности для логического вентиля НЕ.

Схемы вентилей И-НЕ и ИЛИ-НЕ с двумя входами:

Вентиль И-НЕ

n-МОП-транзисторы N1 и N2 соединены последовательно. Причем, чтобы замкнуть выходной контакт на землю GND – то есть понизить логический уровень, оба этих транзистора должны быть включены. В то время как p-МОП-транзисторы P1 и P2 соединены

параллельно, и только один из них должен быть включен, чтобы соединить выходной контакт с напряжением питания  – то есть повысить логический уровень. 

Вентиль ИЛИ-НЕ

В этом случае все ровно наоборот. n-МОП транзисторы соединены параллельно, а p-МОП последовательно.

Заключение

В этой статье мы затронули только самые основы логического цифрового уровня и физики его работы. Возможно эта обширная и сложная область вас заинтересовала. В таком случае можем порекомендовать следующую литературу:

Computer Systems: A Programmer’s Perspective

The Elements of Computing Systems (Nand2Tetris)

Digital Design and Computer Architecture

АЛГЕБРА ВЫСКАЗЫВАНИЙ | Энциклопедия Кругосвет

Содержание статьи

• Объекты алгебры высказываний. Операции над высказываниями. Таблицы истинности.
• Тождественные высказывания. Эквивалентные высказывания. Формулы Августа де Моргана.
• Решение логических задач.

АЛГЕБРА ВЫСКАЗЫВАНИЙ является составной частью одного из современных быстро развивающихся разделов математики – математической логики. Математическая логика применяется в информатике, позволяет моделировать простейшие мыслительные процессы. Одним из занимательных приложений алгебры высказываний – решение логических задач.

Объекты алгебры высказываний. Операции над высказываниями. Таблицы истинности.

Алгебра – это наука, которая изучает множество некоторых элементов и действия (операции) над ними. Если элементы алгебры – натуральные числа, а операции – сложение и умножение, то это алгебра натуральных чисел. Действия с направленными отрезками (векторами) изучает векторная алгебра.

Объектами алгебры высказываний являются высказывания. Высказывание – это истинное или ложное повествовательное предложение. Повествовательное предложение, в котором говорится об одном-единственном событии, называется простым высказыванием. Например, предложение «Луна – спутник Земли» есть простое высказывание, предложение «Не сорить!» не является высказыванием.

Высказывания обозначаются большими буквами латинского алфавита. Если высказывание A истинно, то пишут A = 1, если ложно, то используют запись A = 0.

Как и в других алгебрах, в алгебре высказываний над ее объектами (высказываниями) определены действия, выполняя которые получают новые высказывания. Объединение двух высказываний в одно при помощи союза «И» называется операцией логического умножения. Полученное таким образом высказывание называется логическим произведением. Например, высказывание A – «В лесу растут грибы», высказывание B – «Льюис Кэрролл – математик», составим произведение этих высказываний AB – «В лесу растут грибы и Льюис Кэрролл – математик». Истинность произведения высказываний зависит от истинности перемножаемых высказываний и может быть определена с помощью следующей таблицы:

Таблица 1

А	В	АВ
1	1	1
1	0	0
0	1	0
0	0	0

Объединение двух высказываний в одно с помощью союза «ИЛИ», употребляемого в неисключающем смысле, называется операцией логического сложения. Например, высказывание A – «Декабрь – зимний месяц», В – «Летом иногда идет дождь», определим высказывание A+B – «Декабрь – зимний месяц или летом иногда идет дождь». Установить истинность логической суммы можно с помощью следующей таблицы:

Таблица 2

А	В	А+В
1	1	1
1	0	1
0	1	1
0	0	0

Операция логического отрицания осуществляется над одним высказыванием. Выполнить операцию логического отрицания (обозначается ) – значит получить из данного высказывания новое, присоединяя слова «неверно, что …» ко всему высказыванию. Истинность высказывания определяется таблицей:

Таблица 3

А
1	0
0	1

Пользуясь определенными выше операциями, можно из простых высказываний образовывать сложные. Например, всевозможные значения для высказывания можно записать в виде таблицы

Таблица 4

А	B		A
1	1	0	0	1
1	0	1	1	0
0	1	0	0	1
0	0	1	0	1

Тождественные высказывания. Эквивалентные высказывания. Формулы Августа де Моргана.

Среди высказываний особое место занимают те, в таблице истинности которых либо одни единицы, либо только нули. Это означает, что высказывание либо всегда истинно, либо ложно, независимо от истинности входящих в него высказываний. Например, высказывание всегда истинно, а высказывание всегда ложно. Доказать это можно составив таблицу истинности этих высказываний.

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

Тождественно истинные или тождественно ложные высказывания, если они встречаются в формулах, заменяются в них, соответственно единицей или нулем:

, .

Среди высказываний встречаются такие, таблицы истинности которых совпадают. Эти высказывания называются эквивалентными. Эквивалентными являются, например, высказывания и (то есть ). Это можно проверить составив таблицы истинности этих высказываний:

Таблица 5

A	B
1	1				1	1
1			1	1
	1	1			1	1
		1	1		1	1

Операции алгебры высказываний обладают следующими важными свойствами:

Таблица 6

Логическое умножение:	Логическое сложение:
A·B = B·A	A + B = B + A
(AB)C = A(BC)	(A + B)+ C = A + (B + C)
A·A = A	A + A = A
A·1 = A	A + 1 = 1
A·0 = 0	A + 0 = A
A(B + C) = AB + AC	A + BC = (A + B)(A + C)A + BC = (A + B)(A + C)

Отрицание:

Формулы, выделенные жирным шрифтом, называются формулами Августа де Моргана (1806–1871). Используя эти формулы, можно, в частности, преобразовывать высказывания: сложные заменять более простыми.

В алгебре высказываний, как и в другой алгебре, возможны тождественные преобразования, но логическое сложение и умножение обладают специфическими свойствами A + A = A, AA = A, A + 1 = A. Это приводит к необычности действий над многочленами алгебры высказываний. Пусть нужно перемножить два сложных высказывания:

(A + B)(A + C) = AA + AC + AB + BC = A + AB + AC + BC.

Рассмотрим теперь два первых слагаемых A + AB = A(1 + B) = A1 = A и аналогично A+ AC = A. Таким образом, окончательно получаем (A + B)(A + C) = A+ BC.

Преобразование A + AB = A очень часто встречается в алгебре высказываний и называется «поглощение». Есть еще один вид столь же часто встречающегося тождественного преобразования, которое называется «склеивание».

Суть его состоит в следующем: (склеивание произошло по символу B). Соответственно для сложного высказывания склейку можно произвести по символу , то есть имеет место тождественное преобразование .

Решение логических задач.

Рассмотренных выше законы алгебры высказываний могут быть применены к решению логических задач Например:

Задача:

Алеша, Боря и Гриша откопали древний сосуд. О том, где и когда он был изготовлен, каждый из школьников высказал по два предположения:

Алеша: «Это сосуд греческий и сосуд изготовлен в V веке»;

Боря: «Это сосуд финикийский и сосуд изготовлен в III веке»;

Гриша: «Это не греческий сосуд и изготовлен он в IV веке».

Учитель истории сказал ребятам, что каждый из них прав только в одном их двух своих предположений. Где и в каком веке изготовлен сосуд?

Решение:

Введем обозначения простых высказываний:

«Это сосуд греческий» – ;

«Это сосуд финикийский» – F;

«Сосуд изготовлен в V веке» – 5;

«Сосуд изготовлен в III веке» – 3;

«Сосуд изготовлен в IV веке» – 4.

Можно составить формулы высказываний каждого из школьников с учетом высказывания учителя. Формула Алешиного высказывания имеет вид G5. Учитель сказал, что Алеша прав только в одном из своих утверждений, поэтому либо G = 1, либо 5 = 1. Истинным будет высказывание , то есть высказывание «Сосуд греческий и изготовлен не в 5 веке или сосуд не греческий и изготовлен в 5 веке». Аналогично, высказывание Бори можно представить формулой и высказывание Гриши формулой .

Полученные формулы можно рассматривать как логические уравнения и решать систему:

.

Первое высказывание умножается на второе:

.

Произведение – ложно потому, что сосуд не может быть изготовлен одновременно в Греции и Финикии, произведение – ложно потому, что сосуд не может быть изготовлен одновременно в 3 и 5 вв. После исключения этих высказываний получается следующее уравнение: . Это уравнение умножается на третье логическое уравнение составленной системы:

.

Высказывания исключены как ложные. Из полученного высказывания следует, что «Сосуд изготовлен в Финикии и сосуд изготовлен в 5 веке». Это утверждение согласуется с данными поставленной задачи.

На примере решения логической задачи продемонстрирована смысловая взаимосвязь входящих в сложное высказывание простых высказываний. В состав сложных высказываний могут входить взаимосвязанные по смыслу высказывания, однако Высказывания могут быть и противоречивыми. Таким образом, одним из применений алгебры высказываний является использование ее для анализа сложных, а подчас противоречивых текстов. Алгебра высказываний позволяет научиться моделировать простейшие мыслительные процессы. «Методы эти позволяют Вам обрести ясность мысли, способность находить собственное оригинальное решение трудных задач, вырабатывают у Вас привычку к систематическому мышлению и, что особенно ценно, умение обнаруживать логические ошибки, изъяны и пробелы тех, кто не пытался овладеть привлекательным искусством логики. Попытайтесь. Вот все, о чем я прошу вас», – Льюис Кэрролл (псевдоним Чарльза Лютвиджа Доджсона (1832–1898)) – известный английский математик и литератор.

Анна Чугайнова

AB Logic — AB Logic (1992, CD)

Подробнее изображения

1		AB Logic	5:01
2		Производитель Hitman — Phil Wilde . Фил Уайлд	4:03
3		Get Up (Move Boy Move) Производитель — Фил Уайлд Производитель — Фил Уайлд	5:51
40009		.0008	4:34
5		It Takes Two	3:54
6		Games	5:09
7		You Promised Me The World	4:52
8		Sea of ​​Love	4:31
9		Что это вам. 21
11		Поверните музыку	4:45
12		Хитман (Piano Mix) Производитель — Фил Уайлд Производитель — Фил Уайлд	5:52 .

• Изготовитель – Atlantic Recording Corporation
• Распространение – Atlantic Recording Corporation
• Фонографические авторские права ℗ – Wax World
• Фонографические авторские права ℗ – USA Import Records
• Авторские права © – Warner Music UK Ltd. 12), Asselberghs* (дорожки: 4, 6, 11), Bultinck* (дорожки: 2–4, 8–12), De Waen* (дорожки: 5), Festraets* (дорожки: 5, 7, 9), Гиллис*, Ванхуффель* (дорожки: 1, 3, 6, 7, 10, 11)

• Штрих-код: 075679222428

Недавно отредактировано	AB Logic (CD, альбом)	Магнит (2)	4509-91143-2	Европа	1992
Недавно отредактированный 9000	AB Logic (CDA	Warner Music Canada	CD 91143	Канада	1992
Недавно отредактировано	AB Logic (CD, альбом)	Магнит (2)	4509 91143 2	(2)	4509 91143 2	(2)	4509 91143 2	(2)0007 Австралия	1992
	AB Logic (Cassette, альбом, неофициальный релиз)	Takt Music	1970		1992
	1992
	1992
	1992
	1992
	1992
		1992
		Album, SR)	Interscope Records, Interscope Records	92224-4, 7 92224-4	США	1992

90140003

C + C Music Factory

• Get Ready

  2 Unlimited

• Love Is Not Sex

  Captain Hollywood Project

• L. A. Style

  L.A. Style

• Sweet Dreams

  La Bouche

• Мистер Вейн

  Культурный ритм

• Безмятежность

  Культурный ритм

• Белая комната

  910

  KLF0129

  Dreamland

  Black Box

• En-Tact

  The Shamen

Редактировать выпуск
Все версии этого выпуска
Верные данные

Купить CDSell CD

• есть: 178
• Хочу: 39
• AVG.
• Высшие: 9,40 €
• Eurohouse от music_lover_
Просмотр дополнительных списков →

Ethan, JTWOLFE, Den_pash, Fun4themusic, Viorex, Velove

Отчет Abviodice

Ab Log -Log -Log.


• AllMusic Рейтинг

  8

• Пользовательский рейтинг (0)
• Ваш рейтинг
• Обзор ↓
• Отзывы Пользователей ↓
• Кредиты ↓
• Релизы ↓
• Похожие альбомы ↓

Поделись

AB Logic Review

Алекс Хендерсон

Рэп-пуристы, как и джазовые пуристы, могут крайне защищать свой жанр — они всегда опасаются, что люди из мира поп-музыки, рока или танцев испортят их музыку и разбавят ее. Но, по правде говоря, не у каждого коммерческого исполнителя, использующего элементы хип-хопа, есть зловещие мотивы; во многих случаях они просто признают форму искусства, которой восхищаются и которую уважают. Это 19Дебют 92 бельгийской группы AB Logic не следует оценивать по стандартам хардкор-рэпа, потому что он никогда не претендует на хардкор-рэп. По сравнению с C&C Music Factory, Technotronic и Snap, AB Logic использует рэп в клубных целях, а не для того, чтобы вести хронику проблем жизни в «капюшоне». Этот компакт-диск следует оценивать по стандартам танцевальной поп-музыки, а не по стандартам хардкор-рэпа, и с точки зрения танцевальной поп-музыки первый альбом AB Logic очень интересен. На протяжении всего диска AB Logic отдает предпочтение контрасту рэпа и пения: K-Swing — агрессивный рэпер, исполняющий куплеты, а Марианна — вокалистка, поющая припевы. И вместе они создают множество заразительных грувов (с помощью бельгийского продюсера Питера Гиллиса). Любой, кто провел много времени, слушая C&C, Snap и Technotronic в начале 9-го.