17542

Основні аксіоми та закони алгебри логіки

Лабораторная работа

Математика и математический анализ

Лабораторна робота №3 Тема: основні аксіоми та закони алгебри логіки. Мета:довести аналітичним способом та методом повного перебору логічні функції за допомогою основних аксіом та законів алгебри логіки. Варіант 13 Теоретичні відомості Логічна функція це склад...

Украинкский

2013-07-04

85 KB

10 чел.

Лабораторна робота №3

Тема:  основні аксіоми та закони алгебри логіки.

Мета:довести аналітичним способом та методом повного перебору логічні функції за допомогою основних аксіом та законів алгебри логіки.

Варіант 13

Теоретичні відомості

Логічна функція – це складне висловлювання з кількох простих, які пов’язані між собою логічними операціями.

Y = f(x1, x2, ... , xn)

Однозначна функція може бути зображена тільки двома аргументами: 0 і 1, і двома своїми значеннями: 0 і 1. Двозначні функції мають 2n можливих значень аргументів і два різних значення функції: Y і Y .

Вхідний набір – це певна комбінація значень двійкових змінних xi у логічнійфункції Y. Максимальне число вхідних наборів: 2n. На кожен вхідний набір функція повертає 0 або 1. Логічна функція, яка має певні значення 0 або 1 на всіх вхідних наборах, називається повністю визначеною функцією. Якщо логічна функція має значення, які на деяких наборах невизначені, то ці набори називають байдужими, а функцію частково визначеною. Частково визначену логічну функцію можна зробити повністю визначеною приписуванням байдужим наборам довільних значень функції. Множину логічних функцій n змінних в алгебрі Буля можна утворити за допомогою трьох основних операцій:

1) логічне заперечення змінної x (інверсія);

2) логічне додавання «v» (диз’юнкція, «або»);

3) логічне множення «^» (кон’юнкція, «і»);

Завдання до лабораторної роботи:

  1.  Відповідно до варіанту довести справедливість наступного співвідношення аналітично та методом перебору.

  1.  Записати та спростити інверсний вираз для наступної функції:

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

шковський І.А.

КСМ 10-1


 

А также другие работы, которые могут Вас заинтересовать

4406. Разработка тягового и топливно-экономического расчета автомобиля 1.09 MB
  В курсе теории автомобиля тяговый и топливно-экономический расчет является одним из важнейших разделов. Этот расчет позволяет по некоторым заданным параметрам определить остальные конструктивные и эксплуатационные параметры...
4407. Адвокат в гражданском процессе 268.5 KB
  Адвокат в гражданском процессе Введение Современный человек постоянно сталкивается с ситуациями, в которых ему необходимо руководствоваться теми или иными правовыми предписаниями, то есть законодательно закрепленными общеобязательными правилами пове...
4408. Административная ответственность за нарушение налогового законодательства 311 KB
  Административная ответственность за нарушение налогового законодательства Введение Процесс формирования норм налогового законодательства выявил особую актуальность установления ответственности за налоговые нарушения. Прямая зависимость государственн...
4409. Адвокатура Украины. Организация современной адвокатуры Украины 63 KB
  Адвокатура Украины. Организация современной адвокатуры Украины. Принципы и гарантии адвокатской деятельности. Согласно Закону адвокатура Украины является добровольным профессиональным общественным объединением, призванным содействовать защите прав, свобо...
4410. Альтернативные источники энергии 62 KB
  Perpetuum-mobile Сенсационное сообщение пришло из Англии. Изобретатель Джон Серл сконструировал летательный аппарат в виде вращающегося диска. Аппарат потребляет энергию только при разгоне, а затем летит сам по себе по классическому варианту вечного...
4411. Расчет четырехтактного бензинового двигателя типа R4 с распределенным впрыском топлива и электронным управлением системой питания и зажигания 3.08 MB
  Введение Поршневые двигатели внутреннего сгорания (ДВС) – самый распространенный тип энергетической установки, на сегодняшний день, используемый на автомобилях, тракторах, тепловозах, на судах и т.п...
4412. Машина Больцмана та мережа INSTAR 446.5 KB
  Машина Больцмана та мережа INSTAR. План: Мета роботи. Теоретичні відомості. Постановка задачі. Алгоритм розв`язку задачі. Виконання роботи. Висновок. Мета: Вивчити принципи функціонування вказаних мереж та навч...
4413. Системи управління приладами у середовищі розробки MATLAB 1.24 MB
  MATLAB (скорочення від англ. Matrix Laboratory) - пакет прикладних програм для вирішення задач технічних обчислень і однойменний мов програмування, що використовується в цьому пакеті. MATLAB використовують більше 1 000 000 інженерних і наукових працівників, вона працює на більшості сучасних операційних систем, включаючи Linux, Mac OS, Solaris
4414. Побудова дерева рішень шляхом застосування алгоритму ID3 79.5 KB
  План: Мета роботи. Теоретичні відомості. Постановка задачі. Алгоритм розв`язку задачі. Виконання роботи. Висновок. Мета роботи: Навчитися будувати дерева рішень шляхом застосування алгоритму ID3. Теоретичні ...