17542

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

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

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

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

Украинкский

2013-07-04

85 KB

8 чел.

Лабораторна робота №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


 

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

13001. Комбинированный программно-аппаратный метод представления эволюций сложных пространственных перемещений символов объектов 237 KB
  Лекция №8 Комбинированный программноаппаратный метод представления эволюций сложных пространственных перемещений символов объектов Ужесточение требований отображения множества разнотипных движущихся сложных символов объектов часто представленных матрицами 32
13002. Програмування. Основні етапи розробки прикладних програм 42.5 KB
  ЛЕКЦІЯ 9 1.1: Програмування. Основні етапи розробки прикладних програм. Під програмуванням розуміють представлення в деякій символічній формі певного алгоритму. В якості символічної форми може використовуватися будьяка мова спілкування спеціально створена штучна...
13003. Системний аналіз В.М. Глушкова як базовий принцип побудови спеціалізованих агротехічних геоінформаційних комплексів. Поняття системного аналізу. Етапи системного аналізу 300.5 KB
  Лекція 1.2. Системний аналіз В.М. Глушкова як базовий принцип побудови спеціалізованих агротехічних геоінформаційних комплексів. Поняття системного аналізу. Етапи системного аналізу. План 1. Поняття системного аналізу. 2. Етапи системного аналізу. 1. Понятие сис
13004. Про необхідність і можливість застосування математичних методів та моделей в біотехнології. Загальні поняття про моделі й моделювання 57 KB
  Лекция №1.1. Про необхідність і можливість застосування математичних методів та моделей в біотехнології. Загальні поняття про моделі й моделювання. План 1.Мета і задачі навчальної дисципліни. Зміст дисципліни. Рекомендована література. 2.Оптимізаційний характер зем...
13005. Транспортна модель та її застосування в землевпорядкуванні 584 KB
  Лекция №1.4. Транспортна модель та її застосування в землевпорядкуванні. План 1.Постановка задач лінійного програмування транспортного типу. Види землевпорядних задач що зводяться до задачі лінійного програмування транспортного типу. 2.Методи розв’язання задач...
13006. Принципи побудови та особливості структур баз даних в геоінформаційних системах реального часу 112 KB
  Лекция №2.1. Принципи побудови та особливості структур баз даних в геоінформаційних системах реального часу. План 2.1.1. Принципи побудови та особливості структур баз картографічних даних в ГІС ОУ 2.1.2. Специфіка організації процесу зберігання графічної інформації. ...
13007. Основные типы моделей баз даних в геоінформаційних системах реального часу 148 KB
  Лекция №2.2. Основные типы моделей баз даних в геоінформаційних системах реального часу. План 2.2.1.Тематична модель картографічних даних. .Графічна модель картографічних даних. Просторова модель картографічних даних. 2.2.4. Інфологіч
13008. Методи організації баз картографічних даних в геоінформаційних системах реального часу 61.5 KB
  Лекция №2.3. Методи організації баз картографічних даних в геоінформаційних системах реального часу. План Логічна й фізична організація баз графічних даних. Структура баз картографічних даних на основі квадротомічних дерев. 1. Логическая и физиче...
13009. Структури баз картографічних даних в геоінформаційних системах реального часу 154.5 KB
  Лекция №2.4. Структури баз картографічних даних в геоінформаційних системах реального часу. План 1.Cтруктури файлів баз картографічних даних реального часу побудованих на основі: послідовної організації даних методу хешування ідентифікатора індекснопослідовно...