Студопедия — Задание №1
Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Задание №1






Задание №1

Доказать равенство множеств:

а) исходя из определения равенства множеств;

б) Преобразуя левую (или правую) часть равенства в правую часть (соответственно, в левую);

в) используя характеристические функции и представляя множества с помощью булевых векторов.

 

1.6. (A B) (C D)=(A C) (B C) (A D) (B D)

Решение:

а) Пусть . Тогда имеем: либо , либо . Если , то и одновременно , если же , то и одновременно .

Предположим что равенство верно. Тогда . Это означает, что , либо , либо , либо . Значит x одновременно содержится либо в A и C, либо, B и C, либо A и D, либо B и D. Но исходя из первой части доказательства этого не может быть (x может одновременно содержаться либо в A и B, либо в C и D).

Таким образом, заключаем, что равенство неверно.

 

б) Преобразуем правую часть равенства, используя законы алгебры логики

 

 

Следовательно, исходное равенство неверно, так как

 

 

 

в) Построим таблицы истинности для правой и левой частей

 

Для левой части

 

 

             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
             
 

Для правой части

 

 

                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
                 
 

Как можно увидеть, последние столбцы в таблицах истинности не совпадают, следовательно, равенство неверно.

 







Дата добавления: 2015-12-04; просмотров: 203. Нарушение авторских прав; Мы поможем в написании вашей работы!



Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...

Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...

Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени...

ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при ко­торых тело находится под действием заданной системы сил...

Мотивационная сфера личности, ее структура. Потребности и мотивы. Потребности и мотивы, их роль в организации деятельности...

Классификация ИС по признаку структурированности задач Так как основное назначение ИС – автоматизировать информационные процессы для решения определенных задач, то одна из основных классификаций – это классификация ИС по степени структурированности задач...

Внешняя политика России 1894- 1917 гг. Внешнюю политику Николая II и первый период его царствования определяли, по меньшей мере три важных фактора...

Характерные черты немецкой классической философии 1. Особое понимание роли философии в истории человечества, в развитии мировой культуры. Классические немецкие философы полагали, что философия призвана быть критической совестью культуры, «душой» культуры. 2. Исследовались не только человеческая...

Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит...

Кран машиниста усл. № 394 – назначение и устройство Кран машиниста условный номер 394 предназначен для управления тормозами поезда...

Studopedia.info - Студопедия - 2014-2024 год . (0.011 сек.) русская версия | украинская версия