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


 

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

71211. Сортировка и фильтрация списков 104.5 KB
  Цель работы: изучение способов сортировки и фильтрации списков в табличном процессоре Excel. Задание Изучить порядок сортировки и фильтрации списков в Excel. В соответствии с заданием, указанным в таблицах вариантов, выполнить сортировку и фильтрацию списка...
71212. Форматирование таблиц и вычисления в Excel 30.5 KB
  Ссылки используются для записи формул. По своим свойствам ссылки могут быть абсолютными и относительными. Относительные ссылки обладают свойством автоматической коррекции координат ячейки при переносе копировании формулы в другую ячейку. Абсолютные ссылки таким свойством не обладают.
71213. Токарно-револьверний верстат моделі 1В340Ф3 з СЧПК «Електроніка НЦ-31» 784.5 KB
  Мета роботи: ознайомитись з конструкцією, призначенням та межами використання токарно-револьверного верстата моделі В340ФЗО та навчитись аналізувати структуру приводу головного руху з використанням графоаналітичного методу.
71214. Определение коэффициента трансформации однофазного трансформатора 238.18 KB
  С помощью мультиметров блока Р1 контролируются напряжения первичной и вторичной обмоток испытуемого трансформатора. Поверните регулировочную рукоятку автотрансформатора А1 в крайнее против часовой стрелки положение. В трехфазной трансформаторной группе А2 переключателем...
71215. Простейшие приемы форматирования текста в процессоре Word 83 KB
  В данной работе для форматирования текста и вставки рисунков используются: установка параметров страницы поля размер страницы меню Разметка страницы Параметры страницы; установка положения абзаца горизонтальная линейка на которой верхняя метка управляет положением первой...
71216. Стандартные приложения Windows 37 KB
  Цель работы: приобретение навыков работы со стандартными приложениями Windows: графическим редактором Paint и текстовым процессором WordPad. Задание Изучить информацию о технологии создания рисунков инструментами графического редактора Paint и порядке подготовки отчета.
71217. Измерение сопротивлений 101 KB
  Цель работы: Ознакомиться с устройством и техническими характеристиками омметров. Изучить виды и способы измерения сопротивления. Выполнение работы: Измерение сопротивлений по последовательной схеме включения измеряемого резистора. Предел шкалы 5000 Ом.
71218. Определение зон воздействия и влияния производства по рассеиванию загрязняющих веществ в атмосфере 59.01 KB
  В работе определяются максимальная приземная концентрация загрязняющих веществ Cmx расстояние от источника выброса до точки с максимальной приземной концентрацией Xmx опасную скорость ветра Umx и границы зон воздействия и влияния загрязняющих веществ.
71219. Основные понятие о вибрации, ее влияние на организм 124.5 KB
  К источникам технологических вибраций относятся: оборудование действие которого основано на использовании вибрации и ударов виброплатформы вибростенды молоты штампы прессы и т. Степень воздействия общей вибрации на организм характеризуется следующими показателями...