17542

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

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

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

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

Украинкский

2013-07-04

85 KB

9 чел.

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


 

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

74912. Вирази з дужками. Порядок виконання дій у виразах, що містять дужки 119.5 KB
  Вчитель: Сьогодні я запрошую вас у подорож щоб знайти скарби. Вчитель: А що треба щоб знайти скарби Учні: Карта. Б Каліграфічна хвилинка Вчитель: А що нам треба щоб пройти по морю і знайти скарби Учні: Для того щоб подолати перешкоди на морі нам треба корабель.
74913. Нумерація чисел від 21 до 100. Урок – змагання з математики в 2 класі. На математичному стадіоні 73.5 KB
  Дядіченко вчитель початкових класів спеціаліст вищої категорії учитель методист Новогродівська загальноосвітня школа I III ступенів № 7 Донецької області Урок змагання з математики в 2 класі На математичному стадіоні Тема: Повторення вивченого за темою Нумерація чисел від 21 до 100 Мета: Закріпити і вдосконалити знання учнів за темою; розвивати обчислювальні навички уміння розвязувати прості та складені задачі різних типів; розвивати память увагу і логічне мислення учнів; вміння застосовувати різні види контролю....
74914. Вправи та задачі на засвоєння таблиці множення та ділення; повторення залежності між компонентами і результатом дій першої сходинки 69.5 KB
  закріпити табличне мнодення та ділення на 2 і 3; формувати вміння і навички розвязування задач; розвивати логічне мислення, математичну мову, увагу, вміння працювати самостійно; виховувати почуття доброти у взаємовідношеннях один з одним, почуття товариства.
74915. Застосування різних прийомів обчислення. Складання й розв’язування задач за схематичними записами їхніх умов 46 KB
  Мета. Формувати обчислювальні навики додавання і віднімання числа 7, застосовуючи різні прийоми обчислення. Вчити складати й розв’язувати задачі за схематичними записами їхніх умов. Розвивати мислення, мовлення учнів. Вчити аналізувати, узагальнювати, порівнювати.
74916. Урок по математике «Морское путешествие» 38.5 KB
  Дельфин на песке написал примеры но набежавшая волна смыла их. Составить и записать примеры таблицы умножения числа 3. Проверить составленные примеры и составить по два примера на деление. Остановка Коралловые рифы примеров а Решите примеры...
74917. Письменная нумерация чисел первой сотни. Чтение чисел, записанных в нумерационных таблицах. Сравнение выражений 1.48 MB
  ЦЕЛЬ: учить записывать двузначные числа, читать их по нумерационной таблице; формировать умения решать задачи путем углубленного изучения условия задачи, сравнивать числовые выражения; развивать умения решать практические задания ;продолжить формировать коммуникативную компетенцию...
74918. Табличне множення і ділення. Вправи і задачі на засвоєння табличного множення та ділення 89.5 KB
  Мета: повторити матеріал, вивчений по темі «Табличне множення і ділення»; вчити розв’язувати задачі, які включають знаходження невідомого компонента; розвивати увагу і логічне мислення учнів; вдосконалювати обчислювальні навички і вміння розв’язувати задачі та приклади...
74919. Ділення на одноцифрове число, коли в кінці виходить 0 46.5 KB
  Мета: Сформувати вміння ділити багатоцифрове число на одноцифрове коли в кінці виходить 0; сформувати вміння перевіряти ділення множенням; тренувати вміння додавати та віднімати багатоцифрові числа; множити багатоцифрове число на одноцифрове.
74920. Переставна властивість множення. Розв’язування складених задач 131.5 KB
  Переставна властивість множення. Ознайомити учнів із переставною властивістю множення. Формувати вміння розвязувати приклади на множення застосовуючи переставну властивість множення.