1. Доказать, что следующие высказывательные схемы не являются тавтологиями: 1) ((X → Y ∧ Z) → ( ¬ Y →¬ X)) →¬ Y;
2) X ∨ Y ∨ Z → (X ∨ Y) ∨ (X ∨ Y);
3) X ∨ Y → X ∨ Y;
4) (X → Y) → (Y → X)

2. Доказать неравносильность высказывательных схем:
1) X ∨ XY' ∨ X'Y' и X ∨ Y;
2) XY ∨ X'Y ∨ XY' и XY ∨ X'Y';
3) (X → Y) → Z и X → (Y → Z);

3. С равносильных преобразований доказать, что высказывательная схема является тавтологией:
1) X ∨ (XY' → X' ∨ Y')(X → Y');
2) (X → Y) → ((Y → Z)(X → Z));
3) (Y → Z) → ((X → Y) → (X → Z));

Есть вопросы?

• Как otvet5GPT работает?
  otvet5GPT использует большую языковую модель вместе с базой данных GPT для обеспечения высококачественных образовательных результатов. otvet5GPT действует как доступный академический ресурс вне класса.

• Сколько это стоит?
  Проект находиться на стадии тестирования и все услуги бесплатны.

• Могу ли я использовать otvet5GPT в школе?
  Конечно! Нейросеть может помочь вам делать конспекты лекций, придумывать идеи в классе и многое другое!

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