17543

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

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

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

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

Украинкский

2013-07-04

301.5 KB

3 чел.

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

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

Мета: вирішити задачі за допомогою теорем підстановок та розкладання.

Варіант 13

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

При побудові складних логічних схем із логічних елементів використовують два прийоми:

- послідовне з’єднання елементів;

- перестановка входів елементів.

На рисунку 3.1 наведена схема, побудована шляхом послідовного з’єднання виходів двох елементів із входами третього. Ця схема реалізує функціюf4 (x1 ,x2 ,x3 ,x4 ,x5)=f3 [x1 , f1 (x2 ,x3 ), f2 (x4 ,x5 )],отриману в результаті підстановки в функцію f3 (x,y,z) замість аргументів y і zфункцій f1 (x2 ,x3 ) і f2 (x4 ,x5 ) відповідно.

Підстановка у функцію замість її аргументів інших функцій називаєтьсясуперпозицією. Таким чином послідовне з’єднання логічних елементів відповідає математичній операції суперпозиції.

Заміна одних аргументів функції іншими або змінення порядку записуаргументів називається підстановкою аргументів. Таким чином перестановка входів логічних елементів відповідає математичній операції підстановки аргументів. Слід зауважити, що закон функціонування схеми, складеної шляхом паралельного з’єднання елементів, визначається законом функціонування елементу із максимальною вагою виходу. Тому паралельне з’єднання елементів використовується тільки для поліпшення деяких технічних характеристик схеми(збільшення ваги виходу, зменшення опору виходу і т.д.)

Теореми підстановок

  1.  
  2.  
  3.  
  4.  

Теореми розкладання

  1.  
  2.  

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

  1.  Застосувавши теореми підстановок, спростити наступні вирази та перевірити правильність розрахунків за допомогою таблиць істинності:


  1.  Знайти вираз логічної функції відповідно до варіанту.

                  

Розвязання:

Використовуючи основні закони та співвідношення алгебри логіки,

знаходимо функцію :

Використовуючи основні закони та співвідношення алгебри логіки,

знаходимо функцію :

Використовуючи основні закони та співвідношення алгебри логіки,

знаходимо функцію :

Підставляючи значення функцій ,  ,  у вираз функції   розв’язуємо

завдання:

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

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

КСМ 10-1


 

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

11718. Базові типи даних і уведення-виведення 247 KB
  Лабораторна робота №4 Тема: Базові типи даних і уведеннявиведення Мета роботи: Отримання практичних навиків в роботі з типами даних мови С і використанні функцій стандартного уведеннявиведення. Теми для попереднього опрацьовування Типи даних мови С. ...
11719. Організація введення/виведення данних мови програмування С++. Вивчення стандартних типів даних 77.5 KB
  Організація введення/виведення інформації. Вивчення стандартних типів даних. Мета роботи: Дослідження функцій введення виведення даних мови програмування С. Послідовність виконання роботи Завантажити та налаштувати сис
11720. Арифметичні операції і математичні функції мови C++ 130.5 KB
  Лабораторна робота №6 Тема: Арифметичні операції і математичні функції мови C Мета роботи:Отримання практичних навиків в програмуванні алгебраічних виразів і використанні математичних функцій бібліотеки мови С. Теми для попереднього опрацьовування ...
11721. Разработка программ линейной структуры с использованием логических операций и операций отношения 61.5 KB
  Лабораторная работа №7 Тема: Разработка программ линейной структуры с использованием логических операций и операций отношения Цель работы: 1.Освоение линейной структуры программы. 2.Изучение порядка действий при вычислении выраже
11722. Умовний оператор в мові С++ 143.5 KB
  Лабораторна робота №8 Тема: Умовний оператор в мові С Мета роботи: отримання практичних навиків в роботі з умовним оператором і розгалуженими алгоритмами в мові С. Теми для попереднього опрацьовування логічні операції умовний оператор Завданн
11723. Алгоритмизация и разработка программ разветвляющейся структуры с использованием условного оператора 70 KB
  Лабораторная работа №9 Алгоритмизация и разработка программ разветвляющейся структуры с использованием условного оператора Цель занятия: 1.Освоение алгоритмов и программ разветвляющейся структуры. 2.Получение навыков в использовании условного оператор...
11724. Организация циклических процессов с использованием цикла с параметром for 44.5 KB
  Лабораторная работа №10 Тема: Организация циклических процессов с использованием цикла с параметром for Цель занятия: 1.Освоение циклической структуры программы. 2.Получение навыков в выборе и использовании операторов цикла. Воп...
11725. Создание web-сайта и работа с ним 106.5 KB
  Лабораторная работа № 11. Создание webсайта и работа с ним. Цель: закрепить навыки и умения создания сайта с помощью мастераприложения Front Page. Работа с 6 режимами webузла. Выполнил: Голобородько И.В. Группа: 103ПО. Дата: 26.10.12. Проверила: Афанасьева Г. Ю. Ход работы
11726. Редактирование Web-страниц 23.31 KB
  Лабораторная работа №12 Редактирование Webстраниц. Цели работы: закрепить навыки и умения: ввода и форматирования текста постарения таблиц и списка настройки гиперссылок и закладок оформления страниц специальными объектами повышающими их привлекательность. Выпо