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


 

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

83512. Функції міжнародних організацій 32.88 KB
  У багатщ випадках держави зобов\'язані регулярно представляти доповіді про виконання ними норм міжнародного права і актів організації у відповідній області особливо в області прав людини. Оперативна функція полягає в досягненні цілей організації шляхом безпосередньої діяльності власними засобами організації. Організації надають економічну науковотехнічну і іншу допомогу консультаційні послуги.
83513. Правова природа актів міжнародних організацій 44.29 KB
  Так у сучасній міжнародноправовій літературі звертається увага на подібність процедури розробки міжнародних стандартів з одного боку і процесом вироблення міжнародної угоди в рамках міжнародної організації з іншого. Крім того висловлюється позиція що регламенти міжнародних організацій є результат їх законодавчої або Квазізаконодавчо діяльності. За своєю юридичною силою акти міжнародних орагнізацій можуть бути як рекомендаційними так і носити юридично обов\'язковий характер.
83514. Створення і припинення діяльності міжнародних організацій 34.13 KB
  Міжнародні організації як вторинні похідні субєкти міжнародного права створюються державами. Процес створення нової міжнародної організації проходить в три етапи: ухвалення засновницького документу; створення матеріальної структури організації; скликання головних органів що свідчить про початок функціонування організації. Злагоджене волевиявлення держав щодо створення міжнародної організації може бути зафіксовано 2 способами: у міжнародному договорі; у рішенні вже існуючої міжнародної організації. Укладення міжнародного договору припускає...
83515. ООН: цілі і принципи діяльності 37.81 KB
  Організація Обєднаних Націй ООН універсальна міжнародна міжурядова організація що діє на підставі Статуту підписаний 26 червня 1945 р. Статут ООН є універсальним загальнообовязковим міжнародним договором що закріплює основи сучасного міжнародного правопорядку. ООН переслідує наступні цілі: підтримувати міжнародний мир і безпеку і з цією метою вживати ефективні колективні заходи для запобігання і усунення загрози миру і придушення актів агресії або інших порушень миру й проводити мирними засобами вирішення міжнародних спорів;...
83516. Рада безпеки ООН, її функції. Членство. Порядок прийняття рішень 36.98 KB
  Рада Безпеки є одним з головних органів ООНщо виконує основну роль в підтримці міжнародного миру і безпеки та згідно з п. Рада безпеки уповноважена розслідувати будьякий спір або ситуацію для визначення того чи не може продовження цього спору або ситуації загрожувати міжнародному миру і безпеці. Сторони спору продовження якого може загрожувати міжнародному миру або безпеці мають право самостійно ухвалити рішення про його передачу на вирішення Ради Безпеки.
83517. Генеральна Асамблея ООН, її структура. Порядок роботи та порядок прийняття рішень 36.41 KB
  Порядок роботи та порядок прийняття рішень Генеральна Асамблея один з головних органів ООН що складається з представників всіх державчленів ООН. Делегація кожної державичлена ООН складається не більш ніж з п\'яти представник і п\'яти їх заступників. Генеральна Асамблея в межах Статуту ООН має право обговори вати та робити рекомендації членам ООН або Раді Безпеки з будьяких питань або справ в межах Статуту крім питань що знаходяться розгляді Ради Безпеки стосовно будьякого спору або ситуації.
83518. Міжнародні конференції: поняття, правила процедури, порядок прийняття рішень 36.35 KB
  Конференції з широкими повноваженнями приймають досить детальні правила. Конференції з широким представництвом мають досип складну організаційну структуру: голова комітети підкомітетиробочі групи секретаріат. Основні організаційні питання вирішує генеральний комітет що складається з голови конференції і голів комітетів.
83519. Поняття і значення права мирного вирішення міжнародних спорів 36.45 KB
  Право мирного вирішення міжнародних спорів - галузь міжнародного права, норми та принципи якої встановлюють порядок врегулювання спорів між суб\'єктами міжнародного права мирними засобами.
83520. Поняття міжнародного спору 35.63 KB
  Міжнародний Суд ООН вбачає ознаки спору в обставинах за якими було висунуто деякі звинувачення проти ряду країн які їх відхилили консультативний висновок від ЗО березня 1950 р. Предметом міжнародного спору може бути зокрема правовий статус конкретної території розмежування державних кордонів втручання у внутрішні справи доступ до континентального шельфу тощо. Від спору слід відрізняти односторонні претензії.