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


 

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

65694. ФІЗИЧНА РЕАБІЛІТАЦІЯ ОСІБ З РОЗСІЯНИМ СКЛЕРОЗОМ У КОМПЛЕКСНІЙ ТЕРАПІЇ В УМОВАХ СТАЦІОНАРУ 287.5 KB
  У роботах попередніх років переважали рекомендації щодо обмеження працездатності хворих і встановлення інвалідності при перших проявах захворювання. У роботах останніх років звучать рекомендації щодо підтримки максимальної психо-емоційної...
65695. РОБОТА І РОЗРАХУНОК ЕЛЕМЕНТІВ КІЛЬЦЕВОГО ПЕРЕРІЗУ ЗІ СТАЛЕФІБРОБЕТОНУ ПРИ ПОВТОРНИХ НАВАНТАЖЕННЯХ 1.99 MB
  Так практично не досліджена робота елементів кільцевого перерізу зі сталефібробетону. Відомо що переважна більшість конструкцій піддається дії повторних навантажень це також стосується і елементів кільцевого перерізу. З огляду на наведе дослідження особливостей роботи...
65696. Математичні моделі оцінювання стратегічного потенціалу підприємства та прийняття рішень щодо його підвищення 329 KB
  Велика кількість існуючих моделей та методологічних підходів до визначення СПП дає можливість керівникам здійснити вибір засобів прийняття рішення щодо подальшого розвитку підприємства проте жоден з існуючих підходів не є достатньо ефективним як за критерієм повноти аналізованої інформації...
65697. УДОСКОНАЛЕННЯ ВИЗНАЧЕННЯ СТРАТЕГІЇ ПІДПРИЄМСТВА В УМОВАХ КРИЗИ НА ОСНОВІ ЗБАЛАНСОВАНОЇ СИСТЕМИ ПОКАЗНИКІВ 1.13 MB
  Сучасна фінансова, політична та економічна нестабільність в Україні, головними ознаками якої є високе боргове навантаження на вітчизняну економіку, негативні тенденції на грошово-кредитному ринку, ринку праці та у промисловості – провідній галузі вітчизняної економіки...
65698. Діяльність Служби безпеки ОУН(б) на території Волині та Полісся (1946 − 1951 рр.) 159.5 KB
  Об’єктивне дослідження історії ОУНб є неможливим без скрупульозного аналізу діяльності її регіональних складових. Метою роботи є встановлення впливу СБ ОУНб на розвиток українського національно-визвольного руху на Волині та Поліссі в період поступового згасання збройної антирадянської боротьби.
65699. ПРАВОВЕ РЕГУЛЮВАННЯ ВІДШКОДУВАННЯ ПОДАТКУ НА ДОДАНУ ВАРТІСТЬ В УКРАЇНІ 216.5 KB
  Хоча останній і запровадив спрощення адміністративних процедур автоматичне відшкодування зменшення податкового навантаження стимулював інноваційно-інвестиційну діяльність урегулював адміністрування податків взаємовідносини з контролюючими органами окремі проблеми залишились актуальними.
65700. АДМІНІСТРАТИВНО-ПРАВОВИЙ СТАТУС ПРАЦІВНИКА ДЕРЖАВНОЇ КОНТРОЛЬНО-РЕВІЗІЙНОЇ СЛУЖБИ УКРАЇНИ 186.5 KB
  Працівники ДКРСУ виконують завдання держави спрямовані на забезпечення фінансової діяльності держави. З метою забезпечення успішної реалізації цих завдань суттєвого поліпшення потребують не лише форми і методи діяльності ДКРСУ але й якісний підхід до визначення адміністративно-правового статусу працівника ДКРСУ.
65701. СТАНОВЛЕННЯ І РОЗВИТОК ПРИВАТНОЇ ОСВІТИ НА ВОЛИНІ (ДРУГА ПОЛОВИНА ХІХ – ПОЧАТОК ХХ СТ.) 205 KB
  Робота виконана в Житомирському державному університеті імені Івана Франка Міністерство освіти і науки молоді та спорту України. В умовах розвитку України в європейському та світовому контекстах сучасних соціальноекономічних змін особливої ваги набувають процеси оптимізації та вдосконалення...
65702. ОСОБЛИВОСТІ ЦИВІЛЬНО-ПРАВОВОГО СТАТУСУ ГОСПОДАРСЬКОГО ТОВАРИСТВА ОДНІЄЇ ОСОБИ (НА ПРИКЛАДІ ЗАКОНОДАВСТВА УКРАЇНИ ТА ФРН) 157.5 KB
  У теперішній час формування інституту господарського товариства однієї особи у рамках національного законодавства України нерозривно пов’язане із розвитком та вдосконаленням його у світовій практиці враховуючи орієнтацію національної економіки на глобалізацію...