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));