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

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

Задание №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 оперирует с двумя категориями...


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


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

Сравнительно-исторический метод в языкознании сравнительно-исторический метод в языкознании является одним из основных и представляет собой совокупность приёмов...

Концептуальные модели труда учителя В отечественной литературе существует несколько подходов к пониманию профессиональной деятельности учителя, которые, дополняя друг друга, расширяют психологическое представление об эффективности профессионального труда учителя...

Конституционно-правовые нормы, их особенности и виды Характеристика отрасли права немыслима без уяснения особенностей составляющих ее норм...

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

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

Менадиона натрия бисульфит (Викасол) Групповая принадлежность •Синтетический аналог витамина K, жирорастворимый, коагулянт...

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