Учреждение образования
«Белорусский государственный университет
информатики и радиоэлектроники»
кафедра ЭТТ
РЕФЕРАТ
На тему:
«Функционально полные системы логических функций. Алгебраический подход»
МИНСК, 2008
Из множества функционально полных наборов рассмотрим только те, которые имеют наибольшее практическое значение.
1. Основная функционально полная система логических функций. Наибольшее распространение получил набор, в состав которого входят три логические функции:
· f10 – инверсия (логическая связь НЕ, логическое отрицание);
· f1 – конъюнкция (логическая связь И, логическое умножение),
· f7 – дизъюнкция (логическая связь ИЛИ, логическое сложение).
Этот набор получил название функционально полной системы логических функций (ОФПС). Из теоремы о функциональной полноте следует, что основная функционально полная система логических функций является избыточной, так как условиям теоремы отвечают наборы функций f10 и f1 или f10 и f7 . Свойства этих функций были рассмотрены ранее.
Из определения представления переключательной функции в виде дизъюнктивной или конъюнктивной нормальной формы следует, что эти представления реализуются в основной функционально полной системе логических функций.
2. Законы алгебры логики в ОФПС и их следствия. В алгебре логики имеются четыре основных закона, регламентирующих порядок производства операций НЕ, И, ИЛИ в любом логическом выражении:
· переместительный (коммутативный);
· сочетательный (ассоциативный);
· распределительный (дистрибутивный);
· инверсии (правило Де Моргана).
Переместительный закон. Этот закон справедлив как для дизъюнкции, так и для конъюнкции:
x 1 Ú x 2 = x 2 Ú x 1 ; x 1 Ù x 2 = x 2 Ù x 1 . (1)
Справедливость выражения (5.1) нетрудно доказать простой подстановкой в него различных значений x 1 и x 2 . Поскольку любую перестановку большего количества слагаемых можно свести к последовательности перестановок слагаемых в отдельных парах, то переместительный закон будет справедлив при любом числе слагаемых.
Сочетательный закон. Этот закон, так же как и переместительный, является симметричным, т. е. справедливым и для дизъюнкции, и для конъюнкции:
x1 Úx2 Úx3 = x1 Ú(x2 Úx3 ) = (x1 Úx2 )Úx3 = x2 Ú( x1 Úx3 ); (2)
x1 Ùx2 Ùx3 = x1 Ùx2 Ùx3 ) = (x1 Ùx2 )Ùx3 = x2 Ù( x1 Ùx3 ).
Доказательство этого закона также не представляет никаких трудностей и может быть выполнено простой подстановкой.
Распределительный закон. В отличие от обычной алгебры алгебра логики симметрична. В ней справедливы два распределительных закона:
для логического умножения относительно логического сложения (распределительный закон 1-го рода) и для логического сложения относительно логического умножения (распределительный закон 2-го рода).
1. Распределительный закон 1-го рода записывается следующим образом:
(x1 Úx2 )Ùx3 =(x1 Ùx3 )Ú ( x2 Ùx3 ) . (3)
Справедливость формулы (5.3), а также и ее более общего случая, когда в скобках заключена сумма любого количества слагаемых, можно доказать путем установления идентичности условий обращения в 0 или 1 ее левой и правой частей. Условием обращения в нуль левой части выражения (5.3) состоит в том, чтобы нулю равнялся либо один аргумент х3 , либо одновременно аргументы x 1 и x 2 . Условия обращения в нуль правой части выражения (5.1) такие же. Следовательно, распределительный закон 1-го рода справедлив для алгебры логики.
2. Распределительный закон 2-го рода имеет вид
(x1 Ùx2 )Úx3 =(x1 Úx3 )Ù ( x2 Úx3 ). (4)
Cправедливость формулы (4) (при любом количестве аргументов) нетрудно доказать посредством установления идентичности условий обращения обеих ее частей в единицу.
Закон инверсии (правило Де Моргана). Этот закон, так же как и все предыдущие, симметричен относительно логических сложения и умножения.
1. Отрицание логической суммы нескольких аргументов равно логическому
Наверняка у вас есть товары или услуги, продажа которых приносит вам максимальную прибыль. Для быстрого старта в сети вам необходимо создание посадочной страницы (одностраничного сайта), на которой будет размещена информация о маржинальных товарах/услугах интернет магазина. За 8 лет опыта разработки конверсионных страниц мы выработали оптимальную структуру, которая позволит привлекать через landing page больше продаж. На такую структуру «одевается» ваш контент — фирменный стиль, тексты, фотографии, уникальные торговые предложения, после чего страница выходит в свет. Разработка лендинга и запуск в сети — до 7 рабочих дней. Стоит отметить, что в разработку самой посадочной страницы входит и написание копирайтером продающих текстов для вашего бизнеса, чтобы каждый посетитель страницы захотел совершить покупку именно у вас. Результат: качественно разработаная продающая посадочная страница, которая готова приносить вам новых клиентов.