Воронов Павел Владимирович : другие произведения.

Вычурные умозаключения

Самиздат: [Регистрация] [Найти] [Рейтинги] [Обсуждения] [Новинки] [Обзоры] [Помощь|Техвопросы]
Ссылки:
Школа кожевенного мастерства: сумки, ремни своими руками
 Ваша оценка:
  • Аннотация:
    Автор сконструировал неизвестные ранее умозаключения, основываясь на открытой им четвёртой форме мысли

  
   ВЫЧУРНЫЕ УМОЗАКЛЮЧЕНИЯ
  
  Кроме силлогизмов, из вычур можно делать умозаключения , не входящие как в силлогистику Аристотеля, так и в силлогистику Воронова. Я привожу умозаключения не все возможные, а только для первого экземпляра вычур с индексом "а", потому что остальные (с индексами b c d e f) можно легко вывести по аналогии
  
  
  Пояснения
  Буквы и цифры имеют те же значения, что в силлогистике Воронова:
  Вместо общепринятого способа выражения "все С есть Р" (и их подобных) я использую более
  точное выражение "все С входят в Р", "некоторые С входят в некоторые Р" и так далее.
  Соответственно, вместо "все С не есть Р" (и тому подобных) - "все С не входят в Р" и так далее.
  
  Если имеется суждение типа "С1 nv М4", а после него типа "С2 nv Р2", то это означает,
  что С2 - это не те, которые входят во все М4, а те, которые входят в М4, занимая М4
  полностью ИЛИ ЧАСТИЧНО
  
  Принятые в силлогистике Воронова обозначения (обращайте внимание не на буквы, а на цифры,
  они имеют значение, буквы же могут быть разными):
  - С1 (или М1, или Р1) означает "некоторые С (или М или Р)"
  - С2 (или М2, или Р2) означает "другие С (или М или Р)"
  - С3 (или М3, или Р3) означает "те же самые С (или М или Р)"
  - С4 (или М4, или Р4) означает "все С (или М или Р)"
  - С5 (или М5, или Р5) означает "некоторые из тех же самых С (или М или Р)"
  - С6 (или М6, или Р6) означает "некоторые из оставшихся С (или М или Р)"
  
  Если понятия нет в посылке, а есть только в выводе, то все цифровые индексы соотносятся только
  с первым (верхним) понятием, имеющимся в выводах.
  
  Сами вычуры смотрите в иллюстрациях к работе "Четвёртая форма мысли"
  
  
  
  
   1a
   если X1 co Y2
   то X3 co Z2
   X3 nv Y4
   X3 nv Z4
  
  
   если X1 co Z2
   то X3 co Y2
   X3 nv Y4
   X3 nv Z4
  
  
   если X1 nv Y2
   то X3 co Y4
   X3 co Z2
   X3 nv Z4
  
  
   если X1 nv Z2
   то X3 co Y2
   X3 co Z4
   X3 nv Y4
  
  
   если Y1 nv Z2
   то Y3 co X1
   Y5 nv X1
  
  
   если Y2 co X1
   то Y5 co Z2
   Y4 co Z6
   Y4 nv X1
  
  
   если Y2 nv X1
   то Y3 co Z2
   Y3 nv Z4
   Y4 co X1
  
  
   если Y1 co Z2
   то Y3 nv Z4
   Y5 co X1
   Y5 nv X1
  
  
   если Z2 co X1
   то Z3 co y2
   Z3 nv Y4
   Z4 nv X1
   Z6 co Y4
   Z6 nv Y1
  
  
  
   если Z2 co Y1
   то Z4 nv X1
   Z4 nv Y1
   Z5 co X1
   Z5 nv X1
  
  
  
   если Z2 nv X1
   то Z3 nv y2
   Z4 co X1
   Z4 co Y4
   Z5 co Y3
   Z5 nv X1
   Z5 nv Y1
  
  
  
   если Z2 nv Y1
   то Z3 nv X1
   Z4 co Y1
   Z6 co X1
  
  
  
   2a
  
   если X1 co Z2
   то X3 nv Y2
   X3 nv Z4
   X5 co Y4
   X5 nv Y1
  
  
  
   если X2 co Y2
   то X3 co Z2
   X3 nv Y4
   X3 nv Z4
   X4 co Z6
   X4 nv Y1
  
  
   если X2 nv Y1
   то X3 co Z2
   X4 co Z6
   X4 co Y2
   X4 nv Y4
   X4 nv Z3
   X4 nv Z6
  
  
  
   если X1 nv Z2
   то X3 nv Y2
   X3 co Z4
   X5 co Y4
   X5 nv Y1
  
  
  
   если Y1 co X1
   то Y3 nv X2
   Y5 co X4
   Y5 nv X1
  
  
   если Y1 nv X2
   то Y3 co Z2
   Y5 co X4
   Y5 nv X1
   Y3 nv Z4
  
  
   если Y2 co X2
   то Y3 co Z2
   Y3 nv X4
   Y3 nv Z4
   Y4 co Z6
   Y4 nv X1
  
  
  
   если Y2 nv X1
   то Y3 co Z2
   Y3 nv Z4
   Y4 co X2
   Y4 co Z6
   Y4 nv X2
   Y4 nv Z6
   Y5 nv Z3
  
  
  
   если Y1 nv Z2
   то Y3 nv X2
   Y3 co X4
   Y5 nv X1
  
  
  
   если Z2 co X1
   то Z3 nv Y2
   Z4 nv X1
   Z4 nv Y4
   Z5 co Y4
   Z5 nv Y1
   Z6 co Y3
   Z6 nv Y1
  
  
  
   если Z2 co Y1
   то Z3 nv X2
   Z4 nv X4
   Z4 nv Y1
   Z5 co X4
   Z5 nv X1
   Z6 co X3
   Z6 nv X1
  
  
   если Z2 nv X1
   то Z3 nv Y2
   Z4 co X1
   Z5 co Y3
   Z5 nv Y1
   Z6 co Y6
   Z6 nv Y1
   Z4 nv Y4
  
  
   если Z2 nv Y1
   то Z3 nv X2
   Z4 co Y1
   Z4 nv X4
   Z5 co X3
   Z5 nv Y1
   Z6 co X6
   Z6 nv X1
  
  
  
  
  
   3a
  
  
   если X1 co Z2
   то X3 nv Y1
   X3 nv Z4
  
  
   если X1 nv Y1
   то X3 co Z2
   X3 nv Z4
  
  
   если Y1 co Z2
   то Y3 nv X1
   Y3 nv Z4
  
  
  
   если Y1 co X1
   то Y3 co Z2
   Y3 nv Z4
  
  
   если Z2 co X1
   то Z3 nv Y1
   Z6 co Y1
   Z6 nv Y1
  
  
   если Z2 co Y1
   то Z3 nv X1
   Z6 co X1
   Z6 nv X1
  
  
  
  
  
  4a
  
   если X1 co Z2
   то X3 nv Y1
   X3 nv Z4
  
  
   если X1 nv Y1
   то X3 co Z2
   X3 nv Z4
  
  
   если Y1 co Z2
   то Y3 nv X1
   Y3 nv Z4
  
  
   если Y1 co X1
   то Y3 co Z2
   Y3 nv Z4
  
  
   если Z2 co X1
   то Z3 nv Y1
   Z4 co Y1
  
  
   если Z2 co Y1
   то Z3 nv X1
   Z4 co X1
  
  
   если Z2 nv X1
   то Z3 co Y1
   Z4 co X1
   Z4 nv Y1
  
  
   если Z2 nv Y1
   то Z3 co X1
   Z4 co Y1
   Z4 nv X1
  
  
  
  
  
  5a
  
   если X1 co Z2
   то X3 nv Y2
   X5 co Y4
   X5 nv Y1
   X3 nv Z4
   X5 nv Y5
   X5 nv Z6
  
  
   если X1 nv Y2
   то X3 co Z2
   X3 nv Z4
   X5 nv Y1
   X5 nv Z5
  
  
   если X2 co Y2
   то X3 co Z2
   X4 nv Y1
   X4 nv Z3
   X4 co Z6
   X3 nv Z4
  
  
   если X2 co Y1
   то X3 co Z2
   X4 co Y2
   X4 co Z6
   X4 nv Z6
   X3 nv Z4
   X4 nv Y4
  
  
  
   если X2 nv Y2
   то X3 co Z2
   X3 co Y4
   X3 nv Z4
   X4 nv Y1
   X4 co Z6
   X4 nv Z3
   X4 nv Z6
  
  
  
   если X1 nv Z2
   то X3 nv Y2
   X5 co Z6
   X5 co Y4
   X5 nv Y1
  
  
   если Y1 co Y2
   то Y3 nv Z2
   Y3 nv Y4
   Y5 co Z4
   Y5 nv Y1
   Y5 nv Z6
   Y5 nv Z3
  
  
   если Y1 nv X2
   то Y3 co Z2
   Y3 nv Z4
   Y5 nv X1
   Y5 nv Z5
  
  
   если Y2 co X2
   то Y3 co Z2
   Y3 nv Z4
   Y4 co Z6
   Y4 nv Y1
   Y4 nv Z3
  
  
   если Y2 nv X1
   то Y3 co Z2
   Y3 nv Z4
   Y4 co X2
   Y4 co Z6
   Y4 nv Z6
   Y4 nv X4
  
  
   если Y2 nv X2
   то Y3 co Z2
   Y3 co X4
   Y3 nv Z4
   Y4 co Z6
   Y4 nv Y1
   Y4 nv Z3
   Y4 nv Z6
  
  
   если Y1 nv Z2
   то Y3 nv X1
   Y5 co X4
   Y5 co Z6
   Y5 nv X1
  
  
   если Z2 co X1
   то Z3 nv Y2
   Z4 co Y3
   Z5 co Y4
   Z5 nv Y1
   Z4 nv X1
  
  
   если Z2 co Y1
   то Z3 nv X2
   Z4 co X3
   Z5 co X4
   Z5 nv X1
   Z4 nv Y1
  
  
   если Z2 nv X1
   то Z3 co Y2
   Z3 nv Y4
   Z4 co X1
   Z4 nv Y2
   Z6 nv Y1
  
  
   если Z2 nv Y1
   то Z3 co X2
   Z3 nv X4
   Z4 co Y1
   Z4 nv X2
   Z6 nv X1
  
  
  
   6a
  
  
   если X1 co Z2
   то X3 nv Z4
   X3 nv Y1
  
  
   если X1 nv y1
   то X3 co Z2
   X3 nv Z4
  
  
   если X1 nv Z2
   то X3 co Z4
   X3 nv Y1
  
  
   если Y1 nv X1
   то Y3 co Z2
   Y5 nv Z2
   Y5 nv Z1
  
  
   если Y1 nv Z2
   то Y3 nv X1
   Y5 co Z2
   Y5 nv Z1
  
  
   если Y2 co Z2
   то Y3 nv Z4
   Y3 nv X1
   Y4 nv X1
   Y4 nv Z1
  
  
   если Y2 nv Z2
   то Y3 co Z4
   Y3 nv X1
   Y4 nv X1
   Y4 nv Z1
  
  
   если Z1 nv Y2
   то Z5 co X1
   Z5 co Y4
   Z5 nv Y1
  
  
   если Z2 co X1
   то Z3 nv Y1
   Z4 nv Y2
   Z6 co Y4
   Z6 nv Y1
  
  
   если Z2 co Y2
   то Z3 nv Y4
   Z3 nv X1
   Z6 nv Y1
   Z6 co X1
   Z6 nv X1
  
  
   если Z2 nv X1
   то Z3 nv Y2
   Z4 co X1
   Z4 nv Y1
   Z5 co Y4
   Z5 nv Y1
  
  
   если Z2 nv Y1
   то Z4 co Y2
   Z4 nv X1
   Z4 nv Y4
   Z5 co X1
   Z5 nv Y1
   Z5 nv X1
  
  
   если Z2 nv Y2
   то Z3 co Y4
   Z3 nv X1
   Z4 nv Y1
   Z6 co X1
   Z6 nv X1
   Z6 nv Y1
  
  
  
  
  
   7a
  
  
   если X1 co Z2
   то X3 nv Z4
   X3 nv Y2
   X5 co Y4
   X5 nv Y1
  
  
   если X1 nv Y2
   то X3 co Z2
   X3 nv Z4
   X5 co Y4
   X5 nv Y1
  
  
   если X1 nv Z2
   то X3 co Z4
   X3 nv Y2
   X5 co Y4
   X5 nv Y1
  
  
   если X2 co Y2
   то X3 co Z2
   X3 nv Y4
   X3 nv Z4
   X4 co Z6
   X4 nv Y1
  
  
   если X2 nv Y2
   то X3 co Z2
   X3 co Y4
   X3 nv Z4
   X4 co Z6
   X4 nv Y1
  
  
   если Y1 nv X2
   то Y3 nv Z2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 co X2
   то Y3 co Z2
   Y3 nv X4
   Y3 nv Z4
   Y4 nv Z6
   Y4 nv X1
   Y6 nv X1
   Y6 nv Z1
   Y6 CO Z6
  
  
   если Y2 co Z2
   то Y3 nv x2
   Y3 nv Z4
   Y4 nv X1
   Y4 nv Z1
   Y5 co X4
  
  
   если Y2 nv X1
   то Y3 nv Z2
   Y4 co X2
   Y4 co Z6
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 nv Z2
   то Y3 nv X2
   Y3 co Z4
   Y4 nv X1
   Y4 nv Z1
   Y5 co X5
  
  
   если Z1 nv Y2
   то Z5 co X1
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co X1
   то Z3 nv Y2
   Z4 nv X1
   Z5 nv Y1
   Z5 co Y4
   Z6 co Y5
   Z6 nv Y1
  
  
   если Z2 co Y2
   то Z3 nv X2
   Z4 nv Y1
   Z4 nv Y3
   Z5 co X4
   Z5 nv X1
   Z6 nv X1
   Z6 nv Y1
   Z6 co X3
  
  
   если Z2 nv X1
   то Z3 nv Y2
   Z4 co X1
   Z4 nv Y5
   Z4 nv Y6
   Z5 co Y4
   Z5 nv Y6
   Z6 co X2
   Z6 nv Y1
  
  
   если Z2 nv Y1
   то Z2 nv X2
   Z4 nv Y2
   Z4 nv X4
   Z5 co X4
   Z5 nv X1
   Z5 nv Y1
   Z6 co X3
   Z6 co Y5
  
  
   если Z2 nv Y2
   то Z3 nv X2
   Z4 nv Y1
   Z4 nv X4
   Z5 co X4
   Z5 nv X1
   Z5 co Y6
   Z3 co Y4
   Z6 co X3
   Z6 nv X1
   Z6 nv Y1
  
  
  
  
  
   8a
  
  
   если X1 co Y2
   то X3 co Z2
   X3 nv Y4
   X3 nv Z4
  
  
   если X1 co Z2
   то X3 co Y2
   X3 nv Y4
   X3 nv Z4
  
  
   если X1 nv Y2
   то X3 co Z2
   X3 co Y4
   X3 nv Z4
  
  
   если X1 nv Z2
   то X3 co Y2
   X3 co Z4
   X3 nv Y4
  
  
   если Y1 nv Z2
   то Y5 nv X1
   Y5 co X1
   Y5 co Z4
  
  
   если Y2 co X1
   то Y3 co Z2
   Y3 nv Z4
   Y4 nv Z6
   Y6 nv X1
   Y6 nv Z1
   Y6 co Z6
  
  
   если Y2 co Z2
   то Y3 nv Z4
   Y4 nv Z1
   Y4 nv X1
   Y5 co X1
   Y5 nv X1
  
  
   если Y2 nv X1
   то Y3 nv Z2
   Y4 co Z4
   Y4 nv Z5
   Y5 co Z5
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 nv Z1
   то Y3 nv X1
   Y4 co Z2
   Y6 co X1
   Y6 co Z5
   Y6 nv X1
  
  
   если Y2 nv Z2
   то Y3 nv Z4
   Y3 nv Z1
   Y4 nv X1
   Y5 co X1
   Y5 co Z6
   Y5 nv X1
  
  
   если Z1 nv Y2
   то Z5 co X1
   Z5 co Y4
   Z5 nv X1
  
  
   если Z2 co X1
   то Z3 co Y2
   Z3 nv Y4
   Z4 nv Y3
   Z4 nv Y6
   Z6 co Y6
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 co Y2
   то Z3 nv Y4
   Z4 nv Y1
   Z4 nv X1
   Z5 co X1
   Z5 nv X1
   Z5 nv Y4
  
  
   если Z2 nv X1
   то Z3 nv Y2
   Z4 co X1
   Z4 co Y6
   Z4 nv Y5
   Z5 co Y5
   Z5 nv X1
   Z5 nv Y1
  
  
  
   если Z2 nv Y1
   то Z3 nv X1
   Z4 co Y2
   Z6 co X1
   Z6 nv X1
  
  
   если Z2 nv Y2
   то Z4 nv X1
   Z4 nv Y1
   Z5 co X1
   Z5 nv X1
   Z5 nv Y6
   Z5 nv Y2
  
  
  
   9a
  
  
   если X1 nv Y2
   то X3 nv Z2
   X5 co Y2
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 nv Z2
   X5 co Y2
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 nv Y2
   то X3 co Y4
   X3 co Z2
   X3 nv Z4
   X4 co Z2
   X4 nv Y1
   X4 nv Z2
  
  
   если X2 nv Z2
   то X3 nv Y2
   X4 nv Z2
   X4 nv Y1
   X5 nv Y1
  
  
   если X2 co Y2
   то X3 co Z2
   X3 nv Z6
   X3 nv Y4
   X4 nv Y1
   X4 nv Z2
   X6 co Z2
   X6 nv Y1
   X6 nv Z1
  
  
   если X2 co Z2
   то X3 nv Z2
   X3 nv Z6
   X4 nv Y4
   X4 nv Y1
   X5 co Z2
   X5 nv Z2
  
  
   если Y1 co Z2
   то Y3 nv X2
   Y5 co X5
   Y5 nv X1
   Y5 nv Z4
  
  
   если Y2 co X2
   то Y3 co Z2
   Y3 nv Z2
   Y3 nv X4
   Y4 nv X1
   Y4 nv X2
  
  
   если Y1 nv X2
   то Y3 co Z2
   Y3 nv Z4
   Y5 co X6
   Y5 nv X1
  
  
   если Y1 nv Z2
   то Y3 nv X2
   Y3 co Z4
   Y5 co X2
   Y5 nv X1
  
  
   если Z1 nv X2
   то Z5 co X4
   Z5 co Y1
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co X2
   то Z3 nv X4
   Z3 nv Y2
   Z4 co Y3
   Z4 nv X1
   Z5 co X5
   Z5 co Y4
  
  
   если Z2 co Y1
   то Z3 nv X2
   Z4 co X5
   Z4 nv Y1
   Z5 co Y2
   Z5 co X4
   Z5 nv X1
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 nv Y2
   Z4 co Y3
   Z4 nv X1
   Z5 co Y4
   Z5 nv Y1
  
  
   если Z2 nv Y1
   то Z3 co X2
   Z3 nv X6
   Z4 co Y1
   Z6 nv X1
   Z6 nv Y2
  
  
  
  
   10a
  
   если X1 nv Y2
   то X2 nv Y1
   X2 nv Z1
   X2 co Z2
   X2 nv Y2
  
  
   если X2 co Y2
   то X5 nv Z1
   X5 co Z2
   X4 co Z2
  
  
   если X2 nv Z1
   то X3 co Y2
   X6 co Y2
   X6 nv Y1
   X4 co Z2
  
  
   если X1 nv Y2
   то X2 nv Y1
   X2 nv Z1
   X2 co Z2
   X2 nv Y2
  
  
   если X1 nv Z2
   то X5 co Y2
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 nv Y1
   то X3 nv Z2
   X3 co Z4
   X4 nv Z2
   X4 co Y2
   X6 nv Z1
  
  
   если Y1 nv X2
   то Y3 nv Z2
   Y5 nv X1
   Y5 nv Z2
   Y5 co X2
   Y5 co Z2
  
  
   если Y2 nv X1
   то Y3 nv Z1
   Y4 co X2
   Y6 co Z2
  
  
   если Y2 co X2
   то Y5 co Z2
   Y5 nv Z1
   Y4 nv Z1
  
  
   если Y1 nv X2
   то Y3 nv Z2
   Y5 nv X1
   Y5 nv Z2
   Y5 co X2
   Y5 co Z2
  
  
   если Y2 nv X1
   то Y3 nv Z1
   Y4 co X2
   Y6 co Z2
  
  
   если Y2 co X2
   то Y5 co Z2
   Y5 nv Z1
   Y4 nv Z1
  
  
   если Y2 co Z2
   то Y3 co X2
   Y6 nv X1
   Y6 co X2
   Y4 nv Z1
  
   если Y1 nv Z2
   то Y3 nv X2
   Y4 co X2
   Y4 co Z4
   Y5 co X2
   Y5 nv X1
  
  
   если Y2 nv Z1
   то Y5 co X2
   Y3 nv X2
   Y4 co Z4
   Y4 nv X2
   Y4 co X1
  
  
   если Z2 co X2
   то Z5 co Y2
   Z5 nv Y1
   Z4 nv Y1
   Z4 nv X1
  
  
   если Z2 co Y2
   то Z3 co X2
   Z4 nv Y1
   Z4 nv X2
   Z6 co X2
   Z6 nv X1
  
  
   если Z2 nv X2
   то Z4 co X6
   Z4 nv X5
   Z3 nv Y1
   Z6 co Y2
   Z6 nv X2
  
  
   если Z2 nv Y2
   то Z3 nv X2
   Z6 nv X1
   Z6 nv Y1
   Z6 co X2
   Z3 co X2
  
  
   если Z1 nv X2
   то Z3 nv Y2
   Z5 co X4
   Z5 co Y2
   Z5 nv Y1
   Z5 nv X1
  
  
   если Z1 nv Y2
   то Z3 nv X2
   Z5 nv X1
   Z5 nv Y1
   Z5 co X2
   Z5 co Y5
  
  
   если Z2 nv X1
   то Z3 nv Y1
   Z4 co X2
   Z6 co Y2
  
  
   если Z2 nv Y1
   то Z3 nv X2
   Z4 co X2
   Z4 nv X2
   Z6 nv X1
  
  
  
   11a
  
  
   если X1 co Y2
   то X3 nv Y4
   X3 nv Z2
   X5 co Z4
   X5 nv Z1
  
  
   если X1 nv Y2
   то X3 co Y4
   X3 nv Z2
   X5 co Z4
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 co Y2
   X3 nv Y4
   X5 co Z4
   X5 nv Z1
  
  
  
   если X2 CO Z2
   то X3 co Y2
   X3 nv Y4
   X3 nv Z4
   X4 co Y6
   X4 nv Z1
  
  
   если X2 nv Z2
   то X3 co Y2
   X3 co Z4
   X4 co Y6
   X4 nv Z1
  
  
   если Y1 nv Z2
   то Y5 co X1
   Y5 co Z4
  
  
   если Y2 co X1
   то Y3 nv Z2
   Y4 nv Z1
   Y5 co Z4
  
  
   если Y2 co Z2
   то Y3 co X2
   Y3 nv X4
   Y3 nv Z4
   Y4 nv Z1
   Y4 nv X4
   Y6 nv X1
  
  
   если Y2 nv X1
   то Y3 nv Z1
   Y4 co X1
   Y4 nv Z2
   Y6 co X2
   Y6 co Z4
  
  
   если Y2 nv Z1
   то Y3 nv X2
   Y4 co X3
   Y4 co Z2
   Y5 co X4
   Y5 nv X1
  
  
   если Y2 nv Z2
   то Y3 co X2
   Y3 co Z4
   Y4 nv X3
   Y4 nv Z1
   Y6 co X4
   Y6 nv X1
  
  
   если Z1 nv X2
   то Z3 nv Y2
   Z5 co X2
   Z5 co Y2
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z1 nv Y2
   то Z3 nv X2
   Z5 co X2
   Z5 co Y2
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 co Y2
   Z3 nv Y4
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 nv Y2
   то Z3 co X2
   Z3 co Y4
   Z3 nv X4
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 co X2
   то Z3 co Y2
   Z3 nv X4
   Z3 nv Y4
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 co Y2
   то Z3 co X2
   Z3 nv X4
   Z3 nv Y4
   Z4 nv X1
   Z4 nv Y1
  
  
  
  
  
   12a
  
  
   если X1 co Y2
   то X3 nv Y4
   X3 nv Z2
   X5 nv Z1
  
  
   если X1 nv Y2
   то X3 co Y4
   X3 nv Z2
   X5 co Z4
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 co Y2
   X3 nv Y4
   X5 co Z4
  
  
   если X2 co Z2
   то X3 co Y2
   X3 nv Y4
   X3 nv Z4
   X4 co Y4
   X4 nv Z1
  
  
   если X2 nv Z1
   то X3 co Y2
   X4 co Y6
   X4 co Z2
  
  
   если X2 nv Z2
   то X3 co Y2
   X3 co Z4
   X4 co Y6
   X4 nv Y3
   X4 nv Y6
   X4 nv Z1
  
  
   если Y1 nv Z2
   то Y5 co Y2
   Y5 co Z4
  
  
   если Y2 co X1
   то Y3 nv Z2
   Y4 co Z5
   Y4 nv X1
   Y5 co Z6
   Y5 nv Z1
  
  
   если Y2 co Z2
   то Y3 nv X2
   Y3 nv Z4
   Y4 co X3
   Y4 nv Z1
   Y5 co X4
  
  
   если Y2 nv X1
   то Y3 co Z2
   Y3 nv Z6
   Y4 co X1
   Y4 nv Z3
   Y4 nv Z6
   Y6 co X2
   Y6 nv Z1
  
  
   если Y2 nv Z1
   то Y3 co X2
   Y3 nv X4
   Y4 nv Z2
   Y4 nv X3
   Y6 co X4
   Y6 co Z6
   Y6 nv X1
  
  
   если Y2 nv Z2
   то Y3 nv X2
   Y4 co X3
   Y4 nv Z1
   Y5 co X4
   Y5 nv X1
  
  
   если Z1 nv X2
   то Z3 nv Y2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z1 nv Y2
   то Z3 nv X2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co X2
   то Z3 co Y2
   Z3 nv X4
   Z3 nv Y4
   Z4 nv X1
   Z4 nv Y6
   Z6 co Y6
   Z6 nv X1
  
  
   если Z2 co Y2
   то Z3 nv X2
   Z4 nv X1
   Z4 nv Y1
   Z5 co X4
   Z5 nv X1
  
  
   если Z2 nv X1
   то Z3 nv Y2
   Z4 co X2
   Z4 co Y6
   Z5 co Y4
   Z5 nv Y1
  
  
   если Z2 nv Y1
   то Z3 nv X1
   Z4 co Y2
   Z4 nv X2
   Z6 co X4
   Z6 co Y5
  
  
   если Z2 nv X2
   то Z3 co Y2
   Z3 nv Y4
   Z4 nv X1
   Z4 nv Y3
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 nv Y2
   то Z3 nv X2
   Z4 nv X1
   Z4 nv Y1
   Z5 co X4
   Z5 co Y6
   Z6 nv X1
   Z6 nv Y1
  
  
  
  
   13a
  
  
   если X1 nv Y1
   то X3 nv Z2
   X5 co Z4
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 nv Y1
   X5 co Z4
   X5 nv Z1
  
  
   если X2 co Z2
   то X3 nv Y1
   X3 nv Z4
   X4 nv Y1
   X4 nv Z1
  
  
   если X2 nv Z1
   то X3 nv Y1
   X4 co Z2
   X4 nv Z1
  
  
   если X2 nv Z2
   то X3 nv Y1
   X3 co Z4
   X4 nv Y1
   X4 nv Z1
  
  
   если Y1 nv X1
   то Y3 nv Z2
   Y5 co Z4
   Y5 nv Z1
  
  
   если Y2 co Z2
   то Y3 nv X1
   Y3 nv Z4
   Y4 nv X1
   Y4 nv Z1
  
  
   если Y2 nv Z1
   то Y3 nv X1
   Y4 co Z2
   Y4 nv Z1
  
  
   если Y2 nv Z2
   то Y3 nv X1
   Y3 co Z4
   Y4 nv X1
   Y4 nv Z1
  
  
   если Z1 nv X2
   то Z3 nv Y2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z1 nv Y2
   то Z3 nv Y2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co X2
   то Z3 nv X4
   Z3 nv Y1
   Z4 nv X1
   Z4 nv Y2
   Z6 co Y4
   Z6 nv Y1
  
  
   если Z2 co Y2
   то Z3 nv Y4
   Z3 nv X1
   Z4 nv Y1
   Z4 nv X2
   Z6 co X4
   Z6 nv X1
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 nv Y1
   Z4 nv X1
   Z4 nv Y2
   Z6 co Y4
   Z6 nv Y1
  
  
   если Z2 nv Y2
   то Z3 co Y4
   Z3 nv X1
   Z4 nv Y1
   Z4 nv X2
   Z6 co X4
   Z6 nv X1
  
  
  
  
   14a
  
  
   если X1 nv Y2
   то X3 nv Z2
   X5 nv Y1
   X5 nv Z1
   X5 co Y2
   X5 co Z2
  
  
   если X1 nv Z2
   то X3 nv Y2
   X5 co Y2
   X5 co Z2
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 co Y2
   то X3 co Z2
   X3 nv Y4
   X3 nv Z4
   X4 nv Y1
   X4 nv Z1
  
  
   если X2 co Z2
   то X3 co Y2
   X3 nv Z4
   X3 nv Y4
   X4 nv Y1
   X4 nv Z1
  
  
   если X2 nv Y1
   то X3 nv Z1
   X4 co Y2
   X4 co Z2
   X4 nv Y4
   X4 nv Z4
  
  
   если X2 nv Z1
   то X3 nv Y1
   X4 co Y2
   X4 co Z2
   X4 nv Y4
   X4 nv Z4
  
  
   если X2 nv Y2
   то X3 co Y4
   X3 co Z2
   X3 nv Z4
   X4 nv Y1
   X4 nv Z1
  
  
   если X2 nv Z2
   то X3 co Y2
   X3 co Z4
   X3 nv Y4
   X4 nv Y1
   X4 nv Z1
  
  
   если Y1 nv X2
   то Y3 co Z2
   Y3 nv Z4
   Y5 co X4
   Y5 nv X1
  
  
  
   если Y1 co Z2
   то Y3 nv X2
   Y3 nv Z4
   Y5 co X2
   Y5 nv X1
  
  
   если Y1 nv Z2
   то Y3 nv X2
   Y3 co Z4
   Y5 co X2
   Y5 nv X1
  
  
   если Y2 co X2
   то Y3 co Z2
   Y4 nv Z6
   Y4 co X1
   Y4 nv Z6
  
  
   если Y2 nv X2
   то Y3 co Z2
   Y4 co Z6
   Y4 nv X1
   Y4 nv Z6
  
  
   если Z1 nv X2
   то Z5 co X4
   Z5 co Y1
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co X2
   то Z3 co Y3
   Z3 nv X4
   Z3 nv Y4
   Z4 nv X1
   Z6 nv Y1
  
  
   если Z2 co Y1
   то Z3 nv X1
   Z4 nv X1
   Z4 nv Y1
   Z5 co X2
   Z5 nv X1
  
  
  
  
  
  
   15a
  
  
   если X1 nv Y2
   то X3 nv Z2
   X4 nv Y1
   X4 nv Z5
   X5 co Y4
   X5 co Z6
   X5 nv Y1
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 co Z4
   X3 nv Y2
   X4 nv Y1
   X4 nv Z1
   X5 co Y4
   X5 nv Y1
  
  
   если X2 co Y2
   то X3 co Z2
   X4 nv Y1
   X4 nv Z5
   X6 co Z6
   X6 nv Y1
   X6 nv Z1
  
  
   если X2 co Z2
   то X3 nv Z4
   X3 nv Y2
   X4 nv Y1
   X4 nv Z1
   X5 co Y2
   X5 nv Y1
  
  
   если X2 nv Y2
   то X3 co Y4
   X3 co Z2
   X4 nv Y1
   X4 nv Z6
   X6 co Z6
   X6 nv Z1
  
  
   если X2 nv Z2
   то X3 co Z4
   X3 nv Y2
   X4 nv Y1
   X4 nv Z1
   X5 co Y4
  
  
   если Y1 co Z2
   то Y3 nv X2
   Y3 nv Z4
   Y5 co X4
   Y5 nv X1
  
  
   если Y1 nv X2
   то Y3 co Z2
   Y5 co X4
   Y5 nv X1
  
  
   если Y2 co X2
   то Y3 co Z2
   Y3 nv X4
   Y3 nv Z4
   Y4 co Z6
   Y4 nv X1
  
  
   если Y2 nv X1
   то Y3 co Z2
   Y4 co X2
   Y4 co Z6
  
  
   если Z1 nv X2
   то Z5 co X4
   Z5 co Y1
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co X2
   то Z3 nv X4
   Z4 nv X1
   Z5 co Y2
   Z5 nv Y1
   Z6 nv Y1
  
  
   если Z2 co X1
   то Z3 nv Y2
   Z4 co X2
   Z5 co Y4
   Z5 nv Y1
   Z6 nv Y1
   Z6 nv X1
  
  
   если Z2 nv Y1
   то Z3 nv X2
   Z4 co Y1
   Z4 nv X5
   Z5 co X6
   Z5 nv X1
   Z6 co X3
   Z6 nv Y1
  
  
   если Z2 nv X1
   то Z4 co X2
   Z4 nv X4
   Z4 nv Y2
   Z5 co Y3
   Z6 co Y4
  
   если Z2 nv X2
   то Z3 co X4
   Z3 nv Y2
   Z4 nv X1
   Z4 nv Y4
   Z5 co Y6
   Z6 co Y3
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 nv Y2
   то Z3 nv X2
   Z4 nv X2
   Z5 co X2
   Z5 nv X1
   Z5 co Y6
   Z6 co X6
   Z6 nv X1
   Z6 nv Y1
  
  
  
  
   16a
  
   если X1 nv Y2
   то X3 nv Z2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 nv Y2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
   если X2 nv Y1
   то X3 nv Z2
   X4 co Y2
   X4 nv Y5
   X4 nv Z5
   X4 nv Z6
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
   X6 co Z5
   X6 nv Z1
  
  
   если X2 nv Z1
   то X3 nv Z2
   X4 co Y5
   X4 nv Y4
   X4 nv Z5
   X4 nv Y4
   X5 co Y1
   X5 nv Z1
   X5 nv Z5
   X6 co Z5
   X6 nv Z1
  
  
   если X2 co Y2
   то X3 nv Y4
   X3 nv Z2
   X4 nv Y1
   X4 nv Z4
   X4 nv Z5
   X5 co Z4
   X5 nv Z1
   X5 nv Y5
   X6 co Z5
   X6 nv Z1
   X6 nv Y1
  
  
   если X2 co Z2
   то X3 nv Y2
   X3 nv Z4
   X4 nv Y4
   X4 nv Y5
   X4 nv Z1
   X5 co Y4
   X5 nv Y1
   X5 nv Z5
   X6 co Y5
   X6 nv Z1
  
  
   если X2 nv Y2
   то X3 co Y4
   X3 nv Z2
   X4 nv Y1
   X4 nv Z4
   X4 nv Z5
   X5 co Z4
   X5 nv Z1
   X6 co Z5
   X6 nv Y1
   X6 nv Z1
  
  
   если X2 nv Z2
   то X3 co Z4
   X3 nv Y2
   X4 nv Z1
   X4 nv Y4
   X4 nv Y5
   X5 co Y4
   X5 nv Y1
   X6 co Y5
   X6 nv Y1
   X6 nv Y1
  
  
   если Y1 nv Z2
   то Y3 nv Z2
   Y5 co Z4
   Y5 co X4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 co X2
   то Y3 nv Z2
   Y3 nv Z4
   Y4 nv X1
   Y4 nv Z4
   Y4 nv Z5
   Y5 co X5
   Y5 co Z4
   Y5 nv Z1
   Y6 co Z5
   Y6 nv Z1
   Y6 nv X1
  
  
   если Y2 co Z2
   то Y3 nv X2
   Y3 nv Z4
   Y4 nv Z1
   Y4 nv X4
   Y4 nv X5
   Y5 co X4
   Y5 co Z5
   Y5 nv X1
   Y6 co X5
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 nv X1
   то Y2 nv Z2
   Y4 co X2
   Y4 nv X5
   Y4 nv Z5
   Y4 nv Z6
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
   Y6 co Z5
   Y6 nv Z1
  
  
   если Y2 nv Z1
   то Y2 nv X2
   Y4 co Z2
   Y4 nv X5
   Y4 nv X6
   Y4 nv Z5
   Y5 co X4
   Y5 nv X1
   Y5 nv Z1
   Y6 co X5
   Y6 nv X6
  
  
   если Y2 nv X2
   то Y3 co X4
   Y3 nv Z2
   Y4 nv X1
   Y4 nv Z4
   Y4 nv Z5
   Y5 co Z4
   Y5 nv Z1
   Y6 co Z5
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 nv Z2
   то Y3 co Z4
   Y3 nv X2
   Y4 nv Z1
   Y4 nv X4
   Y4 nv X5
   Y5 co X4
   Y5 nv X4
   Y6 co X5
   Y6 nv Z1
   Y6 nv X1
  
  
   если Z1 nv X2
   то Z3 nv Y2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z1 nv Y2
   то Z3 nv X2
   Z5 co Y4
   Z5 co X4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co X2
   то Z3 nv X4
   Z3 nv Y2
   Z4 nv X1
   Z4 nv Y4
   Z4 nv Y5
   Z5 co X5
   Z5 co Y4
   Z5 nv Y1
   Z6 co Y5
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 co Y2
   то Z3 nv Y4
   Z3 nv X2
   Z4 nv Y1
   Z4 nv X4
   Z4 nv X5
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z6 co X5
   Z6 nv Y1
   Z6 nv X1
  
   если Z2 nv X1
   то Z3 nv Y2
   Z4 co X2
   Z4 nv Y4
   Z4 nv Y5
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
   Z6 co X5
   Z6 nv X4
   Z6 nv Y1
  
  
   если Z2 nv Y1
   то Z3 nv X2
   Z4 co Y2
   Z4 nv X4
   Z4 nv X5
   Z5 co X4
   Z5 nv X1
   Z5 nv Y1
   Z6 co Y5
   Z6 nv X1
   Z6 nv Y4
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 nv Y2
   Z4 co X2
   Z4 nv X1
   Z4 nv X3
   Z4 nv X5
   Z4 nv Y5
   Z5 co X5
   Z5 co Y4
   Z5 nv Y1
   Z6 co Y5
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 nv Y2
   то Z3 co Y4
   Z3 nv X2
   Z4 nv X4
   Z4 nv X5
   Z4 nv Y1
   Z4 nv Y3
   Z4 nv Y5
   Z5 co X4
   Z5 co X5
   Z5 co Y5
   Z5 nv X1
   Z6 nv X1
   Z6 nv Y1
   Z6 nv Y1
  
  
  
  
  
   16b
  
  
   если X1 nv Y2
   то X3 nv Z2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 nv Y2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 co Y2
   то X3 nv Y4
   X3 nv Z1
   X4 nv Y1
   X4 nv Z2
   X5 co Y5
   X5 nv Z1
   X6 co Z4
   X6 nv Y1
   X6 nv Z1
  
  
   если X2 co Z2
   то X3 nv Y1
   X4 nv Y2
   X4 nv Z1
   X4 nv Z4
   X5 co Z5
   X5 nv Y1
   X6 co Y4
   X6 nv Y1
   X6 nv Z1
  
  
   если X2 nv Y1
   то X3 nv Z2
   X4 co Y2
   X4 nv Y4
   X4 nv Z1
   X5 co Z4
   X5 nv Y1
   X5 co Z3
  
  
   если X2 nv Z1
   то X3 nv Y2
   X4 co Z2
   X4 nv Y1
   X4 nv Z4
   X5 co Z5
   X5 nv Y3
   X5 co Z1
  
  
   если X2 nv Y2
   то X3 co Y4
   X3 nv Z1
   X4 nv Y1
   X4 nv Z2
   X6 co Z4
   X6 nv Y1
   X6 nv Z1
  
  
   если X2 nv Z2
   то X3 co Z4
   X3 nv Y1
   X4 nv Y2
   X4 nv Z1
   X6 co Y4
   X6 nv Y1
   X6 nv Z1
  
  
   если Y1 nv X2
   то Y3 nv Z2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y1 nv Z2
   то Y3 nv Z2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 co X2
   то Y3 nv X4
   Y3 nv Z1
   Y4 nv X1
   Y4 nv Z2
   Y5 co X5
   Y5 nv Z1
   Y6 co Z4
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 co Z2
   то Y3 nv X1
   Y3 nv Z4
   Y4 nv X2
   Y4 nv Z1
   Y5 co Z5
   Y5 nv X1
   Y6 co X4
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 nv X1
   то Y3 nv Z2
   Y4 co X2
   Y4 nv X4
   Y4 nv Z1
   Y5 co Z4
   Y5 nv X1
   Y5 co Z3
  
   если Y2 nv Z1
   то Y3 nv X2
   Y4 co Z2
   Y4 nv X1
   Y4 nv Z4
   Y5 co Z5
   Y5 nv X3
   Y5 co Z1
  
  
   если Y2 nv X2
   то Y3 co X4
   Y3 nv Z1
   Y4 nv X1
   Y4 nv Z2
   Y6 co Z4
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 nv Z2
   то Y3 co X4
   Y3 nv Z1
   Y4 nv X1
   Y4 nv Z2
   Y6 co Z4
   Y6 nv X1
   Y6 nv Z1
  
  
   если Z1 nv X2
   то Z3 nv Y2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z1 nv Y2
   то Z3 nv X2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co X2
   то Z3 nv X4
   Z3 nv Y1
   Z4 nv X1
   Z4 nv Y2
   Z5 co X5
   Z5 nv Y1
   Z6 co Y4
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 co Y2
   то Z3 nv X1
   Z3 nv Y4
   Z4 nv X2
   Z4 nv Y1
   Z5 co X5
   Z5 nv X1
   Z6 co X4
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 nv X1
   то Z3 nv Y2
   Z4 co X2
   Z4 nv X4
   Z4 nv Y1
   Z5 co Y4
   Z5 nv X1
   Z5 co Y3
  
  
   если Z2 nv Y1
   то Z3 nv X2
   Z4 co Y2
   Z4 nv X1
   Z4 nv Y4
   Z5 co Y5
   Z5 nv X3
   Z5 co Y1
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 nv Y1
   Z4 nv X1
   Z4 nv Y2
   Z6 co Y4
   Z6 nv X1
   Z6 co Y1
  
  
   если Z2 nv Y2
   то Z3 co Y4
   Z3 nv X1
   Z4 nv X2
   Z4 nv Y1
   Z6 co X4
   Z6 nv X1
   Z6 co Y1
  
  
  
  
   16c
  
   если X1 nv Y2
   то X3 nv Z2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 nv Y2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 co Y2
   то X3 co Z2
   X3 nv Y4
   X3 nv Z4
   X4 nv Y1
   X4 nv Z1
  
  
   если X2 co Z2
   то X3 co Y2
   X3 nv Y4
   X3 nv Z4
   X4 nv Y1
   X4 nv Z1
  
  
   если X2 nv Y1
   то X3 nv Z1
   X4 co Y2
   X4 co Z2
   X4 nv Y4
   X4 nv Z4
  
  
   если X2 nv Z1
   то X3 nv Y1
   X4 co Z2
   X4 co Z2
   X4 nv Y4
   X4 nv Z4
  
  
   если X2 nv Y2
   то X3 co Z2
   X3 nv Z4
   X4 nv Y1
   X4 nv Z1
  
  
   если X2 nv Z2
   то X3 co Y2
   X3 nv Y4
   X4 nv Y1
   X4 nv Z1
  
  
   если Y1 nv X2
   то Y3 nv Z2
   Y5 co Y4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y1 nv Z2
   то Y3 nv X2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 co X2
   то X3 co Z2
   X3 nv X4
   X3 nv Z4
   X4 nv X1
   X4 nv Z1
  
  
   если Y2 co Z2
   то Y3 co X2
   Y3 nv X4
   Y3 nv Z4
   Y4 nv X1
   Y4 nv Z1
  
  
   если Y2 nv X1
   то Y3 nv Z1
   Y4 co X2
   Y4 co Z2
   Y4 nv X4
   Y4 nv Z4
  
  
   если Y2 nv Z1
   то Y3 nv X1
   Y4 co X2
   Y4 co Z2
   Y4 nv X4
   Y4 nv Z4
  
  
   если Y2 nv X2
   то Y3 co Z2
   Y3 nv Z4
   Y4 nv X1
   Y4 nv Z1
  
  
   если Y2 nv Z2
   то Y3 co X2
   Y3 nv X4
   Y4 nv Y1
   Y4 nv Z1
  
  
   если Z1 nv X2
   то Z3 nv Y2
   Z5 co Y4
   Z5 nv X1
   Z5 nv X4
   Z5 nv Y1
  
  
   если Z1 nv Y2
   то Z3 nv X2
   Z5 co Y4
   Z5 nv X1
   Z5 nv X4
   Z5 nv Y1
  
  
   если Z2 co X2
   то Z3 co Y2
   Z3 nv X4
   Z3 nv Y4
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 co Y2
   то Z3 co X2
   Z3 nv X4
   Z3 nv Y4
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 nv X1
   то Z3 nv Y1
   Z4 co X2
   Z4 co Y2
   Z4 nv X4
   Z4 nv Y4
  
  
   если Z2 nv Y1
   то Z3 nv X1
   Z4 co X2
   Z4 co Y2
   Z4 nv X4
   Z4 nv Y4
  
  
   если Z2 nv X2
   то Z3 co Y2
   Z3 nv Y4
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 nv Y2
   то Z3 co X2
   Z3 nv X4
   Z4 nv X1
   Z4 nv Y1
  
  
  
  
   16d
  
  
   если X1 nv Y1
   то X3 nv Z1
  
  
   если Y1 nv X1
   то Y3 nv Z1
  
  
   если Z1 nv X1
   то Z3 nv Y1
  
  
   если X1 nv Z1
   то X3 nv Y1
  
  
   если Y1 nv Z1
   то Y3 nv X1
  
  
   если Z1 nv Y1
   то Z3 nv X1
  
  
  
  
  
   16e
  
  
   если X1 co Y1
   то X3 co Z1
  
  
   если X1 co Z1
   то X3 nv Y1
  
  
   если Y1 nv X1
   то Y3 nv Z1
  
  
   если Y1 nv Z1
   то Y3 nv X1
  
  
   если Z1 nv X1
   то Z3 nv Y1
  
  
   если Z1 nv Y1
   то Z3 nv X1
  
  
  
  
   17a
  
  
   если X1 nv Y2
   то X3 nv Z2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 nv Y2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 co Y2
   то X3 co Z2
   X3 nv Y4
   X3 nv Z6
   X6 co Z6
   X6 nv Y1
   X6 nv Z1
  
  
   если X2 co Z2
   то X3 co Z2
   X3 nv Z4
   X4 nv Y1
   X4 nv Z1
   X5 co Y4
   X5 nv Y1
  
  
   если X2 nv Y1
   то X3 co Z2
   X4 co Y2
   X4 co Z5
   X4 nv Y4
   X4 nv Z4
   X4 nv Z5
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 nv Z1
   то X3 nv Y1
   X4 co Z4
   X4 nv Y2
   X4 nv Z2
   X6 nv Y4
   X6 nv Z1
  
  
   если X2 nv Y2
   то X3 co Z2
   X3 nv Y4
   X3 nv Z4
   X4 nv Y1
   X4 nv Z3
   X4 nv Z6
   X6 co Z6
   X6 nv Y1
   X6 nv Z1
  
  
   если X2 nv Z2
   то X3 co Z4
   X3 nv Y2
   X4 nv Y1
   X4 nv Z1
   X5 co Y4
   X5 co Z6
   X6 nv Y1
   X6 nv Z1
  
  
   если Y1 nv X2
   то Y3 nv Z2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y1 nv Z2
   то Y3 nv X2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 co X2
   то Y3 co Z2
   Y3 nv X4
   Y3 nv Z6
   Y4 nv X1
   Y4 nv Z3
   Y4 nv Z6
   Y6 co Z6
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 co Z2
   то Y3 nv X2
   Y3 nv Z4
   Y4 nv X1
   Y4 nv Z1
   Y5 nv X1
   Y5 nv X4
  
  
   если Y2 nv X1
   то Y3 nv Z2
   Y4 co X2
   Y4 co Z5
   Y4 nv X4
   Y4 nv Z4
   Y4 nv Z5
   Y5 co Z4
   Y5 nv Z1
  
  
   если Y2 nv Z1
   то Y3 nv X1
   Y4 co Z2
   Y4 nv X2
   Y4 nv Z4
   Y4 nv Z5
   Y6 co X4
   Y6 nv X1
  
  
   если Y2 nv X2
   то Y3 co X4
   Y3 co Z2
   Y3 co Z4
   Y4 nv X1
   Y4 nv Z3
   Y4 nv Z6
   Y6 co Z4
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 nv Z2
   то Y3 nv X2
   Y3 nv Z4
   Y4 nv X1
   Y4 nv Z1
   Y5 co X4
   Y5 nv X1
  
  
   если Z1 nv X2
   то Z3 nv Y2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z1 nv Y2
   то Z3 nv X2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
  
   если Z2 co X2
   то Z3 nv Y2
   Z4 nv X4
   Z4 nv Y4
   Z4 nv Y5
   Z5 co X5
   Z5 co Y4
   Z5 nv Y1
   Z6 co Y5
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 co Y2
   то Z3 nv X2
   Z4 nv X4
   Z4 nv Y4
   Z4 nv Y1
   Z5 co X4
   Z5 co Y5
   Z5 nv X1
   Z6 co X5
   Z6 nv X1
   Z6 nv Y1
  
  
  
   если Z2 nv X1
   то Z3 nv Y2
   Z4 co X2
   Z4 nv Y5
   Z5 co Y5
   Z5 nv X1
   Z5 nv Y1
   Z6 co Y4
   Z6 nv Y1
  
  
   если Z2 nv Y1
   то Z3 nv X2
   Z4 co Y2
   Z4 nv X4
   Z4 nv Y5
   Z4 nv X1
   Z5 co X5
   Z5 nv X1
   Z5 nv Y1
   Z6 co X4
   Z6 nv X1
  
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 nv Y2
   Z4 nv X1
   Z4 nv Y4
   Z4 nv Y5
   Z5 co X6
   Z5 co Y4
   Z5 nv X5
   Z5 nv Y1
  
  
  
   если Z2 nv Y2
   то Z3 co Y4
   Z3 nv X2
   Z4 nv X4
   Z4 nv X5
   Z4 nv Y1
   Z5 co X4
   Z5 co Y5
   Z5 nv X1
   Z5 nv Y5
   Z6 co X5
   Z6 nv X1
   Z6 nv Y1
  
  
  
  
   18a
  
  
   если X1 nv Y2
   то X3 nv Z2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 nv Y2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 co Y2
   то X3 nv Y4
   X3 nv Z1
   X4 co Z2
   X4 nv Y1
   X4 nv Z4
  
  
   если X2 co Z2
   то X3 nv Y1
   X3 nv Z4
   X4 co Y2
   X4 nv Y4
   X4 nv Z4
  
  
   если X2 nv Y1
   то X3 co Z2
   X3 nv Z4
   X4 co Y2
   X4 nv Y4
   X4 nv Z1
  
  
   если X2 nv Z1
   то X3 co Y2
   X3 nv Y4
   X4 co Z2
   X4 nv Y1
   X4 nv Z4
  
  
   если X2 nv Y2
   то X3 co Y4
   X3 nv Z1
   X4 co Z2
   X4 nv Y1
   X4 nv Z4
  
  
   если X2 nv Z2
   то X3 co Z4
   X3 nv Y1
   X4 co Y2
   X4 nv Y4
   X4 nv Z1
  
  
   если Y1 nv X2
   то Y3 nv Z2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y1 nv Z2
   то Y3 nv X2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 co X2
   то Y3 nv X4
   Y3 nv Z1
   Y4 nv X1
   Y4 nv Z2
   Y6 co Z4
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 co Z2
   то Y3 nv X1
   Y3 nv Z4
   Y4 nv X2
   Y4 nv Z1
   Y6 co X4
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 nv X1
   то Y3 nv Z2
   Y4 co X2
   Y4 nv X4
   Y4 nv Z1
   Y5 co Z4
   Y5 nv Z1
  
  
   если Y2 nv Z1
   то Y3 nv X2
   Y4 co Z2
   Y4 nv X1
   Y4 nv Z4
   Y5 co X4
   Y5 nv X1
  
  
   если Y2 nv X2
   то Y3 co X4
   Y3 nv Z1
   Y4 nv X1
   Y4 nv Z2
   Y6 co Z4
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 nv Z2
   то Y3 co Z4
   Y3 nv X1
   Y4 nv X2
   Y4 nv Z1
   Y6 co X4
   Y6 nv X1
   Y6 nv Z1
  
  
   если Z1 nv X2
   то Z3 nv Y2
   Z5 co Y4
   Z5 co Z4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z1 nv Y2
   то Z3 nv X2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co X2
   то Z3 nv X4
   Z3 nv Y1
   Z4 nv X1
   Z4 nv Y2
   Z6 co Y4
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 co Y2
   то Z3 nv X1
   Z3 nv Y4
   Z4 nv X2
   Z4 nv Y1
   Z6 co X4
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 nv X1
   то Z3 nv Y2
   Z4 co X2
   Z4 nv X4
   Z4 nv Y1
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 nv Y1
   то Z3 nv X2
   Z4 co Y2
   Z4 nv X1
   Z4 nv Y4
   Z5 co X4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 nv Y1
   Z4 nv X1
   Z4 nv Y2
   Z6 co Y4
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 nv Y2
   то Z3 co Y4
   Z3 nv X1
   Z4 nv X2
   Z4 nv Y1
   Z6 co X4
   Z6 nv X1
   Z6 nv Y1
  
  
  
  
   19a
  
  
   если X1 nv Y2
   то X3 nv Z2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 nv Y2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 co Y2
   то X3 nv Y4
   X3 nv Z2
   X4 co Z5
   X4 nv Y1
   X4 nv Z4
   X4 nv Z5
   X5 co Z4
   X5 nv Z1
  
  
   если X2 co Z2
   то X3 nv Z4
   X3 nv Y2
   X4 co Y5
   X4 nv Y4
   X4 nv Y5
   X4 nv Z1
   X5 co Y4
   X5 nv Y1
  
  
   если X2 co Z2
   то X3 nv Z4
   X3 nv Y2
   X4 co Y5
   X4 nv Y4
   X4 nv Y5
   X4 nv Z1
   X5 co Y4
   X5 nv Y1
  
  
   если X2 nv Y1
   то X3 co Z2
   X3 nv Z4
   X4 co Y2
   X4 nv Y4
   X4 nv Z3
   X4 nv Z6
   X6 co Z6
   X6 nv Z1
  
  
   если X2 nv Z1
   то X3 co Y2
   X3 nv Y4
   X4 co Z2
   X4 nv Y3
   X4 nv Y6
   X4 nv Z4
   X6 co Y6
   X6 nv Y1
  
  
   если X2 nv Y2
   то X3 co Y4
   X3 nv Z2
   X4 co Z5
   X4 nv Y1
   X5 co Z4
   X5 nv Z1
  
  
   если X2 nv Z2
   то X3 co Z4
   X3 nv Z2
   X4 co Y5
   X4 nv Z1
   X5 co Y4
   X5 nv Y1
  
  
   если Y1 nv X2
   то Y3 nv Z2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y1 nv Z2
   то Y3 nv X2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 co X2
   то Y3 nv X4
   Y3 nv Z2
   Y4 nv X4
   Y4 nv Z4
   Y4 nv Z5
   Y5 co Z4
   Y5 nv Z1
   Y6 co Z5
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 co Z2
   то Y3 nv X2
   Y3 nv Z4
   Y4 nv X4
   Y4 nv X5
   Y4 nv Z1
   Y5 co X4
   Y5 co Z5
   Y5 nv X1
   Y6 co X5
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 nv X1
   то Y3 nv Z2
   Y4 nv Z5
   Y5 co Z5
   Y5 nv X1
   Y5 nv Z1
   Y6 co X2
   Y6 co Z4
   Y6 nv Z1
  
  
   если Y2 nv Z1
   то Y3 nv X2
   Y4 nv X4
   Y4 nv Z2
   Y5 co X4
   Y5 nv X1
   Y5 nv Z1
   Y6 co X2
   Y6 co X4
   Y6 co Z2
  
  
   если Y2 nv X2
   то Y3 co X4
   Y3 co Z2
   Y3 nv Z4
   Y4 nv X3
   Y4 nv X5
   Y4 nV Z3
   Y4 nv Z5
   Y6 co X5
   Y6 co Z6
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 nv Z2
   то Y3 co Z4
   Y3 nv X2
   Y4 nv X4
   Y4 nv X5
   Y4 nV Z1
   Y5 co X4
   Y5 co Z6
   Y5 nv X1
   Y6 co X5
   Y6 nv X1
   Y6 nv Z1
  
  
   если Z1 nv X2
   то Z3 nv Y2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z1 nv Y2
   то Z3 nv X2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co X2
   то Z3 nv X4
   Z3 nv Y2
   Z4 nv X1
   Z4 nv Y4
   Z4 nv Y5
   Z5 co Y4
   Z5 nv Y1
   Z6 co X6
   Z6 co Y5
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 co Y2
   то Z3 nv X2
   Z3 nv Y4
   Z4 nv X4
   Z4 nv X5
   Z4 nv Y1
   Z5 co X4
   Z5 nv X1
   Z6 co X6
   Z6 co Y6
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 nv X1
   то Z3 nv Y2
   Z4 co X2
   Z4 co Y5
   Z4 nv X4
   Z4 nv Y5
   Z5 co Y6
   Z5 nv Y1
   Z6 co X5
   Z6 co Y5
   Z6 nv Y1
  
   если Z2 nv Y1
   то Z3 nv X2
   Z4 co Y2
   Z4 co X5
   Z4 nv X5
   Z4 nv X4
   Z5 co X4
   Z5 nv X1
   Z6 co X5
   Z6 co Y5
   Z6 nv X1
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 nv Y2
   Z4 nv X1
   Z4 nv Y4
   Z4 nv Y5
   Z5 co Y4
   Z5 nv Y1
   Z6 co Y5
   Z6 nv X1
   Z6 nv Y1
   Z6 nv Y6
  
  
   если Z2 nv Y2
   то Z3 co Y4
   Z3 nv X2
   Z4 nv X5
   Z4 nv Y1
   Z5 co X4
   Z5 nv Y1
   Z6 co X5
   Z6 nv X1
   Z6 nv Y1
  
  
  
   20a
  
   если X1 nv Y2
   то X3 nv Z2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 nv Y2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 co Y2
   то X3 co Z2
   X3 nv Y4
   X3 nv Z4
   X4 nv Y1
   X4 nv Z1
  
  
   если X2 co Z2
   то X3 co Y2
   X3 nv Y4
   X3 nv Z4
   X4 nv Y1
   X4 nv Z1
  
  
   если X2 nv Y1
   то X3 nv Z1
   X4 co Y2
   X4 co Z2
   X4 nv Y4
   X4 nv Z4
  
  
   если X2 nv Z1
   то X3 nv Y1
   X4 co Y2
   X4 co Z2
   X4 nv Y4
   X4 nv Z4
  
  
   если X2 nv Y2
   то X3 co Y4
   X3 co Z2
   X3 nv Z4
   X4 nv Y1
   X4 nv Z1
  
  
   если X2 nv Z2
   то X3 co Z4
   X3 co Y2
   X3 nv Y4
   X4 nv Y1
   X4 nv Z1
  
  
   если Y1 nv X2
   то Y3 nv Z2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 nv Z2
   то Y3 nv X2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 co X2
   то Y3 co Z2
   Y4 nv X1
   Y4 nv Z3
   Y4 nv Z6
   Y6 co Z6
   Y6 nv X1
   Y6 nv Z1
  
  
   если Y2 co Z2
   то Y3 nv Z4
   Y4 nv X1
   Y4 nv Z1
   Y5 co X2
   Y5 nv X4
  
  
   если Y2 nv X1
   то Y3 nv Z2
   Y4 co X2
   Y4 co Z4
   Y4 nv X4
   Y4 nv Z5
   Y4 nv Z6
   Y5 co Z5
   Y5 nv Z1
  
  
   если Y2 nv Z1
   то Y3 nv X1
   Y4 co Z2
   Y4 nv X2
   Y4 nv Z4
   Y6 co X4
   Y6 nv X1
  
  
   если Y2 nv X2
   то Y3 co X4
   Y3 co Z2
   Y3 nv Z4
   Y4 nv X1
   Y4 nv Z6
   Y6 co Z5
   Y6 nv X1
   Y6 nv Z1
  
   если Y2 nv Z2
   то Y3 co Z4
   Y3 nv X2
   Y4 nv X1
   Y4 nv Z1
   Y5 co X4
   Y5 co Z6
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 co Y2
   Z3 nv Y4
   Z4 nv X1
   Z4 nv Y3
   Z6 co Y6
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 nv Y2
   то Z3 co Y4
   Z3 nv X2
   Z4 nv X1
   Z4 nv Y1
   Z5 co X4
   Z5 nv X1
  
  
  
  
   21a
  
  
   если X1 nv Y2
   то X3 nv Z2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 nv Y2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 co Y2
   то X3 co Y4
   X3 nv Z1
   X4 co Z2
   X4 nv Y1
   X4 nv Z4
  
  
   если X2 co Z2
   то X3 nv Y1
   X3 nv Z4
   X4 co Y2
   X4 nv Y4
   X4 nv Z1
  
  
   если X2 nv Y1
   то X3 co Z2
   X3 nv Z4
   X4 co Y2
   X4 nv Y4
   X4 nv Z1
  
  
   если X2 nv Z1
   то X3 co Y2
   X3 nv Y4
   X4 co Z2
   X4 nv Y1
   X4 nv Z4
  
  
   если X2 nv Y2
   то X3 co Y4
   X3 nv Z1
   X4 co Z2
   X4 nv Y1
   X4 nv Z4
  
  
   если X2 nv Z2
   то X3 co Z4
   X3 nv Y1
   X4 co Y2
   X4 nv Y4
   X4 nv Z1
  
  
   если Y1 nv X2
   то Y3 nv Z1
   Y5 co X4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 nv Z1
   то Y3 nv X2
   Y5 co X4
   Y5 nv X1
  
  
   если Y2 co X2
   то Y3 nv X4
   Y3 nv Z1
   Y4 nv X1
   Y4 nv Z1
  
  
   если Y2 nv X1
   то Y3 nv Z1
   Y4 co X2
   Y4 nv X4
  
  
   если Y2 nv Z1
   то Y3 nv X2
   Y5 co X4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 nv X2
   то Y3 co X4
   Y3 nv Z1
  
  
   если Z1 nv X2
   то Z3 nv Y1
   Z5 co X4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z1 nv Y1
   то Z3 nv X2
   Z5 co X4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 nv X1
   то Z3 nv Y1
   Z4 co X2
   Z4 nv X4
   Z4 nv Y1
  
  
   если Z1 nv Y1
   то Z3 nv X2
   Z4 co X4
   Z4 nv Y1
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 co Y1
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z1 nv Y2
   то Z3 nv Y1
   Z4 nv Y1
  
  
  
  
   22a
  
   если X1 nv Y2
   то X3 nv Z2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 nv Y2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 co Y2
   то X3 nv Y4
   X3 nv Z1
   X4 nv Y1
   X4 nv Z2
   X6 co Z1
   X6 nv Y1
   X6 nv Z1
  
  
   если X2 co Z2
   то X3 nv Y1
   X3 nv Z4
   X4 nv Y2
   X4 nv Z1
   X6 co Y4
   X6 nv Y1
   X6 nv Z1
  
  
   если X2 nv Y1
   то X3 nv Z2
   X4 nv Y4
   X4 nv Z1
   X4 nv Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 nv Z1
   то X3 nv Y2
   X4 co Z2
   X4 nv Y1
   X4 nv Z4
   X5 co Y4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 nv Y2
   то X3 co Y4
   X3 nv Z1
   X4 nv Y1
   X4 nv Z2
   X6 co Z4
   X6 nv Y1
   X6 nv Z1
  
   если X2 nv Z2
   то X3 co Z4
   X3 nv Y1
   X4 nv Y2
   X4 nv Z1
   X6 co Y4
   X6 nv Y1
   X6 nv Z1
  
  
   если Y1 nv X2
   то Y3 nv Z1
   Y5 co X4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y1 nv Z1
   то Y3 nv X2
   Y5 co X4
   Y5 nv Z1
  
  
   если Y2 co X2
   то Y3 nv X4
   Y3 nv Z1
   Y4 nv X1
   Y4 nv Z1
  
  
   если Y2 nv X1
   то Y3 nv Z1
   Y4 co X2
   Y4 nv X4
   Y4 nv Z1
  
  
   если Y2 nv Z1
   то Y4 nv Z1
  
  
   если Y2 nv X2
   то Y3 co X4
   Y3 nv Z1
   Y4 nv X1
   Y4 nv Z1
  
  
   если Z1 nv X2
   то Z3 nv Y1
   Z5 co X4
   Z5 nv X1
   Z5 nv Y1
  
   если Z1 nv Y2
   то Z3 nv X2
   Z3 nv Y4
   Z5 co X4
   Z5 nv X5
   Z5 nv Y1
  
  
   если Z2 co X2
   то Z3 nv X4
   Z3 nv Y1
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 nv X1
   то Z3 nv Y1
   Z4 co X2
   Z4 nv X4
   Z4 nv Y1
  
   если Z2 nv Y1
   то Z4 nv Y1
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 nv Y1
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 nv Y2
   то Z3 nv Y1
   Z4 nv Y1
  
  
  
  
   23a
  
   если X1 co Y2
   то X3 co Z2
   X3 nv Y4
   X3 nv Z4
  
  
   если X1 co Z2
   то X3 co Y2
   X3 nv Y4
   X3 nv Z4
  
   если X1 nv Y2
   то X3 co Y4
   X3 co Z4
   X3 nv Z2
  
  
   если X1 nv Z2
   то X3 co Y4
   X3 co Z4
   X3 nv Y2
  
  
   если Y1 nv Z2
   то Y5 co X1
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 co X1
   то Y3 co Z2
   Y3 nv Z4
   Y4 nv X1
   Y4 nv Z1
  
  
   если Y2 nv X1
   то Y3 nv Z1
  
  
   если Y2 nv Z1
   то Y3 nv X1
  
  
   если Z1 nv Y2
   то Z5 co X1
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co X1
   то Z3 co Y2
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 co Y2
   то Z3 co X1
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z1 nv X1
   то Z3 nv Y1
   Z4 co X1
   Z4 nv Y2
  
  
   если Z1 nv Y1
   то Z3 nv X1
   Z4 co X1
   Z4 nv Y2
  
  
   если Z1 nv Y2
   то Z3 co X1
   Z3 co Y4
   Z4 nv X1
   Z4 nv Y1
  
  
  
   25a
  
   если X1 nv Y2
   то X3 nv Z2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X1 nv Z2
   то X3 nv Y2
   X5 co Y4
   X5 co Z4
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 co Y2
   то X3 co Z2
   X3 nv Y4
   X3 nv Z4
   X4 nv Y1
   X4 nv Z3
   X4 nv Z6
   X6 co Z6
   X6 nv Y1
   X6 nv Z1
  
  
   если X2 co Z2
   то X3 nv Y2
   X3 nv Z4
   X4 nv Y1
   X4 nv Z1
   X5 co Y4
   X5 nv Y1
  
   если X2 nv Y1
   то X3 nv Z2
   X4 co Y2
   X4 co Z5
   X4 nv Y4
   X4 nv Z4
   X5 co Z5
   X5 nv Y1
   X5 nv Z1
  
  
   если X2 nv Z1
   то X3 nv Y2
   X4 co Z2
   X4 nv Y2
   X4 nv Z4
   X6 co Y4
   X6 nV Y1
  
  
   если X2 nv Y2
   то X3 co Y4
   X3 co Z2
   X3 nv Y1
   X4 nv Z3
   X4 nv Z4
   X4 nv Z6
   X6 co Z6
   X6 nv Y1
   X6 nv Z1
  
   если X2 nv Z2
   то X3 co Z4
   X3 nv Y2
   X4 nv Y1
   X4 nv Z1
   X5 co Y4
   X5 nv Y1
  
  
   если Y1 nv X2
   то Y3 nv Z2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y1 nv Z2
   то Y3 nv X2
   Y5 co X4
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 co X2
   то Y3 co Z2
   Y3 nv X4
   Y3 nv Z4
   Y4 nv X1
   Y4 nv Z1
  
  
   если Y2 co Z2
   то Y3 co X2
   Y3 nv X4
   Y3 nv Z4
   Y4 nv X1
   Y4 nv Z1
  
  
   если Y2 nv X1
   то Y3 nv Z1
   Y4 co X2
   Y4 co Z2
   Y4 nv X4
   Y4 nv Z4
  
  
   если Y2 nv Z1
   то Y3 nv X1
   Y4 co X2
   Y4 co Z2
   Y4 nv X4
   Y4 nv Z4
  
  
   если Y2 nv X2
   то Y3 co X4
   Y3 co Z2
   Y3 nv Z4
   Y4 nv X1
   Y4 nv Z1
  
  
   если Y2 nv Z2
   то Y3 co X2
   Y3 co Z4
   Y3 nv X4
   Y4 nv X1
   Y4 nv Z1
  
  
   если Z1 nv X2
   то Z3 nv Y2
   Z5 co X4
   Z5 co Z4
   Z5 nv X1
   Z5 nV Y1
  
  
   если Z1 nv Y2
   то Z3 nv X2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nV Y1
  
  
   если Z2 co X2
   то Z3 nV X4
   Z3 nv Y2
   Z4 nv X1
   Z4 nv Y1
   Z5 co Y4
   Z5 nv Y1
  
  
   если Z2 co Y2
   то Z3 co X2
   Z3 nv X4
   Z3 nv Y4
   Z4 nv X3
   Z4 nv X6
   Z4 nv Y1
   Z6 co X6
   Z6 nv X1
   Z6 nv Y1
  
  
   если Z2 nv X1
   то Z3 nv Y1
   Z4 co X2
   Z4 nv X4
   Z6 co Y2
   Z6 nv Y1
  
  
   если Z2 nv Y1
   то Z3 nv X2
   Z4 co X4
   Z4 co Y2
   Z4 nv X6
   Z4 nv Y4
   Z5 co X6
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 nv Y2
   Z4 nv X1
   Z4 nv Y1
   Z5 co Y4
   Z5 nv Y1
  
  
   если Z2 nv Y2
   то Z3 co X2
   Z3 co Y4
   Z3 nv X4
   Z4 nv X2
   Z4 nv Y1
   Z6 co X6
   Z6 nv X1
   Z6 nv Y1
  
  
   26a
  
   если X1 nv Y1
   то X3 nv Z1
  
  
   если X1 nv Z1
   то X3 nv Y1
  
  
   если X2 nv Y1
   то X3 nv Z1
   X4 nv Y1
   X4 nv Z1
  
  
   если X2 nv Z1
   то X3 nv Y1
   X4 nv Z1
   X4 nv Y1
  
  
   если Y1 co Z2
   то Y3 nv X1
   Y3 nv Z4
  
  
   если Y1 nv X1
   то Y3 co Z2
   Y3 nv Z4
  
  
   если Y1 nv Z2
   то Y3 co Z4
   Y3 nv X1
  
  
   если Y2 nv X1
   то Y3 co Z2
   Y3 nv Z4
   Y4 co Z1
   Y4 nv X1
  
  
   если Y2 nv Z2
   то Y3 co Z4
   Y3 nv X1
   Y4 co Z6
   Y4 nv X1
   Y4 nv Z6
  
  
   если Z1 nv X1
   то Z5 co Y1
   Z5 nv Y1
  
  
   если Z2 co Y1
   то Z3 nv X1
   Z4 nv X1
   Z4 co Y1
  
  
   если Z2 nv Y1
   то Z3 nv X1
   Z4 nv X1
   Z4 nv Y1
  
  
  
  
   27a
  
   если X1 nv Y1
   то X3 nv Z1
  
  
   если X1 nv Z1
   то X3 nv Y1
  
  
   если X2 nv Y1
   то X3 nv Z1
   X4 nv Y1
   X4 nv Z1
  
  
   если X2 nv Z1
   то X3 nv Y1
   X4 nv Z1
   X4 nv Y1
  
  
   если Y1 nv X1
   то Y3 nv Z2
   Y5 co Z4
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y1 nv Z2
   то Y3 nv X1
   Y5 co Z1
   Y5 nv X1
   Y5 nv Z1
  
  
   если Y2 co Z2
   то Y3 nv X1
   Y3 nv Z1
   Y4 nv X1
   Y4 nv Z1
  
  
   если Y2 co X1
   то Y4 nv X1
  
  
   если Y2 nv Z1
   то Y3 nv X1
   Y4 co Z2
   Y4 nv X1
   Y4 nv Z4
  
  
   если Y2 nv X2
   то Y3 nv X1
   Y4 nv X1
  
  
   если Y2 nv Z2
   то Y3 co Z4
   Y3 nv X1
   Y4 nv X1
   Y4 nv Z1
  
  
   если Z1 nv X1
   то Z5 co Z2
   Z5 nv Y1
  
  
   если Z1 nv Y2
   то Z3 nv X1
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co Y2
   то Z3 nv X1
   Z3 nv Y4
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 nv X1
   то Z4 nv X1
  
  
   если Z2 nv Y1
   то Z3 nv X1
   Z4 nv X1
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 nv X2
   то Z3 nv X4
   Z4 nv X1
  
  
   если Z2 nv Y2
   то Z3 co Y4
   Z3 nv X1
   Z4 nv X1
   Z4 nv Y1
  
  
  
  
   28a
  
   если X1 co Y1
   то X3 nv Z1
  
  
   если X1 nv Z1
   то X3 co Y1
  
  
   если X2 co Y2
   то X3 nv Z1
   X4 co Y4
   X4 nv Z1
  
  
   если X2 nv Z1
   то X3 co Y2
   X4 co Y4
   X4 nv Z1
  
  
   если Y1 co X1
   то Y3 nv Z1
  
  
   если Y1 nv Z1
   то Y3 co X1
  
  
   если Y2 co X2
   то Y3 nv Z1
   Y4 co X4
   Y4 nv Z1
  
  
   если Y2 nv Z1
   то Y3 co X2
   Y4 co X4
   Y4 nv Z1
  
  
   если Z1 nv X1
   то Z3 nv Y1
  
  
   если Z1 nv Y1
   то Z3 nv X1
  
  
  
  
   29a
  
   если X1 co Y2
   то X3 co Z2
   X3 nv Y4
   X4 nv Z4
  
  
   если X1 co Z2
   то X3 co Y2
   X3 nv Y4
   X3 nv Z4
  
  
   если X1 nv Y2
   то X3 co Y4
   X3 nv Z2
   X3 nv Z4
  
  
   если X1 nv Z2
   то X3 co Y2
   X3 co Z4
   X3 nv Y4
  
  
   если Y1 co Z1
   то Y5 co X1
   Y5 nv X1
  
  
   если Y2 nv X1
   то X3 co Z2
   X4 co X1
   X4 co Z4
   Y4 nv Z3
  
  
   если Z1 co Y1
   то Z5 co X1
   Z5 nv X1
  
  
   если Z2 nv X1
   то Z3 co Y2
   Z4 co X1
   Z4 co Y4
   Z4 nv Y3
  
  
  
   30a
  
  
   если X1 co Y1
   то X3 nv Z2
   X5 co Z4
   X5 nv Z1
  
  
   если X1 nv Z2
   то X5 co Y1
   X5 co Z4
   X5 nv Z1
  
  
   если X2 co Z2
   то X3 co Y2
   X3 nv Y4
   X3 nv Z4
   X4 co Y4
   X4 nv Z1
  
  
   если X2 nv Z2
   то X3 co Y2
   X3 co Z4
   X3 nv Y4
   X4 co Y4
   X4 nv Z1
  
  
   если Y1 co X1
   то Y3 nv Z2
   Y5 co Z4
   Y5 nv Z1
  
  
   если Y1 nv Z2
   то Y3 co X1
   Y5 co Z4
   Y5 nv Z1
  
  
   если Y2 co Z2
   то Y3 co X2
   Y3 nv X4
   Y3 nv Z4
   Y4 co X4
   Y4 nv Z1
  
  
   если Y2 nv Z2
   то Y3 co X2
   Y3 co Z4
   Y3 nv X4
   Y4 co X4
   Y4 nv Z1
  
  
   если Z1 nv X2
   то Z3 nv Y2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z1 nv Y2
   то Z3 nv X2
   Z5 co X4
   Z5 co Y4
   Z5 nv X1
   Z5 nv Y1
  
  
   если Z2 co X2
   то Z3 co Y2
   Z3 nv X4
   Z3 nv Y4
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 co Y2
   то Z3 co X2
   Z3 nv X4
   Z3 nv Y2
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 nv X1
   то Z3 nv Y1
   Z4 co X2
   Z4 co Y2
   Z4 nv X4
   Z4 nv Y4
  
  
   если Z2 nv Y1
   то Z3 nv X1
   Z4 co X2
   Z4 co Y2
   Z4 nv X4
   Z4 nv Y4
  
  
   если Z2 nv X2
   то Z3 co X4
   Z3 co Y2
   Z3 nv Y4
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 nv Y2
   то Z3 co X2
   Z3 co Y4
   Z3 nv X4
   Z4 nv X1
   Z4 nv Y1
  
  
   31a
  
  
   если X1 co Y1
   то X3 co Z2
   X3 nv Z4
  
  
   если X1 co Z2
   то X3 co Y1
   X3 nv Z4
  
  
   если Y1 co X1
   то Y3 co Z2
   Y3 nv Z4
  
  
   если Y1 co Z2
   то Y3 co X1
   Y3 nv Z4
  
  
   если Z2 co X1
   то Z3 co Y1
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 co Y1
   то Z3 co X1
   Z4 nv X1
   Z4 nv Y1
  
  
   если Z2 nv X1
   то Z3 nv Y1
   Z4 co X1
   Z4 co Y1
  
  
   если Z2 nv Y1
   то Z3 nv X1
   Z4 co X1
   Z4 co Y1
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
 Ваша оценка:

Связаться с программистом сайта.

Новые книги авторов СИ, вышедшие из печати:
О.Болдырева "Крадуш. Чужие души" М.Николаев "Вторжение на Землю"

Как попасть в этoт список

Кожевенное мастерство | Сайт "Художники" | Доска об'явлений "Книги"