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

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

Задание №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; просмотров: 234. Нарушение авторских прав; Мы поможем в написании вашей работы!




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


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


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


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

Сосудистый шов (ручной Карреля, механический шов). Операции при ранениях крупных сосудов 1912 г., Каррель – впервые предложил методику сосудистого шва. Сосудистый шов применяется для восстановления магистрального кровотока при лечении...

Трамадол (Маброн, Плазадол, Трамал, Трамалин) Групповая принадлежность · Наркотический анальгетик со смешанным механизмом действия, агонист опиоидных рецепторов...

Мелоксикам (Мовалис) Групповая принадлежность · Нестероидное противовоспалительное средство, преимущественно селективный обратимый ингибитор циклооксигеназы (ЦОГ-2)...

ПУНКЦИЯ И КАТЕТЕРИЗАЦИЯ ПОДКЛЮЧИЧНОЙ ВЕНЫ   Пункцию и катетеризацию подключичной вены обычно производит хирург или анестезиолог, иногда — специально обученный терапевт...

Ситуация 26. ПРОВЕРЕНО МИНЗДРАВОМ   Станислав Свердлов закончил российско-американский факультет менеджмента Томского государственного университета...

Различия в философии античности, средневековья и Возрождения ♦Венцом античной философии было: Единое Благо, Мировой Ум, Мировая Душа, Космос...

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