Операции над множествами Объединение множеств

1. 
   Операции над множествами
   
2. 
   Объединение множеств
   
3. 
   Пересечение множеств
   
4. 
   Разность множеств
   
5. 
   Операции реляционной алгебры
   
6. 
   Теория формальной аксиоматики
   
7. 
   Аксиомы исчисления высказываний
   
8. 
   Равносилность формул
   
9. 
   Бинарные и эквивалентные отношения
   
10. 
    Определенные высказываний в множествах
    
11. 
    Декартово произведение
    
12. 
    Операции над высказывании
    
13. 
    Понятия формула.
    
14. 
    Истинные и ложные высказывани
    
15. 
    Таблица истинности высказиваний
    
16. 
    Дизъюнкция
    
17. 
    Импликация
    
18. 
    Конъюнкция
    
19. 
    Эквиваленция
    
20. 
    Инверсия
    
21. 
    Тавтологии
    
22. 
    Равносильные формулы
    
23. 
    Элементарная дизъюнкция
    
24. 
    Элементарная конъюнкция
    
25. 
    Основные эквивалентности алгебры высказываний
    
26. 
    Логика высказываний
    
27. 
    Нормальные формы
    
28. 
    Совершенная дизъюнктивная нормальная форма
    
29. 
    Совершенная конъюнктивная нормальная форма
    
30. 
    Теорема дедукции
    
31. 
    Составьте таблицы истинности следующих формул: А≡(x&y)vz;
    
32. 
    Составьте таблицы истинности следующих формул: А≡x&y→( vx→z);
    
33. 
    Составьте таблицы истинности следующих формул: А≡(х→у)→(хви&z);
    
34. 
    Составьте таблицы истинности следующих формул: А≡(xvz)&( →(u→ )) ;
    
35. 
    Составьте таблицы истинности следующих формул: А≡(х&у)→х;
    
36. 
    Составьте таблицы истинности следующих формул: А≡х→(xvy);
    
37. 
    Составьте таблицы истинности следующих формул: А≡(х→у)→( → );
    
38. 
    Составьте таблицы истинности следующих формул: А≡(х→у)&(х→ )→ ;
    
39. 
    Составьте таблицы истинности следующих формул: А≡(х ↔y)&(xvy );
    
40. 
    Составьте таблицы истинности следующих формул: А≡(х→у)&(у→z)→(г→х);
    
41. 
    Составьте таблицы истинности следующих формул: A≡(x→y)&(y→z)→(x→z);
    
42. 
    Составьте таблицы истинности следующих формул: A≡(y ↔z)&(xvz );
    
43. 
    Составьте таблицы истинности следующих формул: А≡z&y→(yvz→x);
    
44. 
    Приведите следующую формулу к конъюнктивной нормальной форме: A≡ (z→x)→( →x);
    
45. 
    Приведите следующую формулу к конъюнктивной нормальной форме: А≡ ;
    
46. 
    Приведите следующую формулу к конъюнктивной нормальной форме: ≡ →((х&(у)vz);
    
47. 
    Приведите следующую формулу к конъюнктивной нормальной форме: A≡(x&y→y&z)→((x→y)→(z→y));
    
48. 
    Приведите следующую формулу к конъюнктивной нормальной форме: А≡( → )& ;
    
49. 
    Приведите следующую формулу к конъюнктивной нормальной форме: А≡(xv )→y&z;
    
50. 
    Приведите следующую формулу к конъюнктивной нормальной форме: А≡((х→у)→ )→(х→(у&х));