Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
ВВЕДЕНИЕ. По структурной схеме надежности технической системы (все элементы системы работают в режиме нормальной эксплуатации – простейший поток отказов) в соответствии
По структурной схеме надежности технической системы (все элементы системы работают в режиме нормальной эксплуатации – простейший поток отказов) в соответствии с вариантом задания, требуемому значению вероятности безотказной работы системы и значениям интенсивностей отказов ее элементов требуется определить: – функцию алгебры логики y(x) с помощью дерева отказов; – функцию надёжности h(r) с помощью алгоритмов разрезания или ортогонализации; – построить график изменения вероятности безотказной работы системы от времени наработкив диапазоне снижения вероятности до уровня 0.1 - 0.2; – определить - процентную наработку технической системы; – элементы, имеющие наименьшие значения надёжности; – элементы, являющиеся критичными для системы. Исходные данные для расчетов представлены в таблице 1.
Таблица 1 – Исходныеданные
1 ОПРЕДЕЛЕНИЕ ФУНКЦИИ АЛГЕБРЫ ЛОГИКИ
Структурная схема надежности системы представлена на рисунке 1. Рисунок 1 – Структурная схема надежности
Объединим элементы, которые соединены последовательно или параллельно, в группы. На первом этапе получим: A = {2, 7}; B = {6, 11, 16}; C = {12, 17}; D = {8, 13, 18}; E = {4, 9, 14}; F = {5, 10, 15}; G= {19, 20}. Таким образом, структурная схема примет следующий вид: Рисунок 2 – Структурная схема надежности
На втором этапе получаем X = {1, A, 3, E, F}; Y = {B, C, D, G}. Структурная схема надежности на этом этапе показана на рисунке 3.
Рисунок 3 – Структурная схема надежности
Занесем события на схему дерева отказов, представленную на рисунке 4.
Рисунок 4 – Дерево отказов
Составим функцию алгебры логики. y(x)=x6x12x8x19x20˅ x6x12x13x19x20˅ x6x12x18x19x20˅ x6x17x8x19x20˅ x6x17x13x19x20˅ x6x17x18x19x20˅ x11x12x8x19x20˅ x11x12x13x19x20˅ x11x12x18x19x20˅ x11x17x8x19x20˅ x11x17x13x19x20˅ x11x17x18x19x20˅ x16x12x8x19x20˅ x16x12x13x19x20˅ x16x12x18x19x20˅ x16x17x8x19x20˅ x16x17x13x19x20˅ x16x17x18x19x20˅ x1x2x3x4x5˅ x1x2x3x4x10˅ x1x2x3x4x15˅ x1x2x3x9x5˅ x1x2x3x9x10˅ x1x2x3x9x15˅ x1x2x3x14x5˅ x1x2x3x14x10˅ x1x2x3x14x15˅ x1x7x3x4x5˅ x1x7x3x4x10˅ x1x7x3x4x15˅ x1x7x3x9x5˅ x1x7x3x9x10˅ x1x7x3x9x15˅ x1x7x3x14x5˅ x1x7x3x14x10˅ x1x7x3x14x15 .
2 ОПРЕДЕЛЕНИЕ ФУНКЦИИ НАДЕЖНОСТИ
Для перехода от функции алгебры логики к вероятностной функции можно воспользоваться алгоритмом ортогонализации. y(x)=x6x12x8x19x20˅ x6x12x13x19x20(x6x12x8x19x20)'˅ x6x12x18x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'˅ x6x17x8x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'˅ x6x17x13x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'˅ x6x17x18x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'˅ x11x12x8x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'˅ x11x12x13x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'˅ x11x12x18x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'˅ x11x17x8x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'˅ x11x17x13x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'˅ x11x17x18x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'˅ x16x12x8x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'˅ x16x12x13x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'˅ x16x12x18x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'˅ x16x17x8x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'˅ x16x17x13x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'˅ x16x17x18x19x20(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'˅ x1x2x3x4x5(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'˅ x1x2x3x4x10(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'˅ x1x2x3x4x15(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'˅ x1x2x3x9x5(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'˅ x1x2x3x9x10(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'˅ x1x2x3x9x15(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'˅ x1x2x3x14x5(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'(x1x2x3x9x15)'˅ x1x2x3x14x10(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'(x1x2x3x9x15)'(x1x2x3x14x5)'˅ x1x2x3x14x15(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'(x1x2x3x9x15)'(x1x2x3x14x5)'(x1x2x3x14x10)'˅ x1x7x3x4x5(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'(x1x2x3x9x15)'(x1x2x3x14x5)'(x1x2x3x14x10)'(x1x2x3x14x15)'˅ x1x7x3x4x10(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'(x1x2x3x9x15)'(x1x2x3x14x5)'(x1x2x3x14x10)'(x1x2x3x14x15)'(x1x7x3x4x5)'˅ x1x7x3x4x15(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'(x1x2x3x9x15)'(x1x2x3x14x5)'(x1x2x3x14x10)'(x1x2x3x14x15)'(x1x7x3x4x5)'(x1x7x3x4x10)'˅ x1x7x3x9x5(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'(x1x2x3x9x15)'(x1x2x3x14x5)'(x1x2x3x14x10)'(x1x2x3x14x15)'(x1x7x3x4x5)'(x1x7x3x4x10)'(x1x7x3x4x15)'˅ x1x7x3x9x10(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'(x1x2x3x9x15)'(x1x2x3x14x5)'(x1x2x3x14x10)'(x1x2x3x14x15)'(x1x7x3x4x5)'(x1x7x3x4x10)'(x1x7x3x4x15)'(x1x7x3x9x5)'˅ x1x7x3x9x15(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'(x1x2x3x9x15)'(x1x2x3x14x5)'(x1x2x3x14x10)'(x1x2x3x14x15)'(x1x7x3x4x5)'(x1x7x3x4x10)'(x1x7x3x4x15)'(x1x7x3x9x5)'(x1x7x3x9x10)'˅ x1x7x3x14x5(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'(x1x2x3x9x15)'(x1x2x3x14x5)'(x1x2x3x14x10)'(x1x2x3x14x15)'(x1x7x3x4x5)'(x1x7x3x4x10)'(x1x7x3x4x15)'(x1x7x3x9x5)'(x1x7x3x9x10)'(x1x7x3x9x15)'˅ x1x7x3x14x10(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'(x1x2x3x9x15)'(x1x2x3x14x5)'(x1x2x3x14x10)'(x1x2x3x14x15)'(x1x7x3x4x5)'(x1x7x3x4x10)'(x1x7x3x4x15)'(x1x7x3x9x5)'(x1x7x3x9x10)'(x1x7x3x9x15)'(x1x7x3x14x5)'˅ x1x7x3x14x15(x6x12x8x19x20)'(x6x12x13x19x20)'(x6x12x18x19x20)'(x6x17x8x19x20)'(x6x17x13x19x20)'(x6x17x18x19x20)'(x11x12x8x19x20)'(x11x12x13x19x20)'(x11x12x18x19x20)'(x11x17x8x19x20)'(x11x17x13x19x20)'(x11x17x18x19x20)'(x16x12x8x19x20)'(x16x12x13x19x20)'(x16x12x18x19x20)'(x16x17x8x19x20)'(x16x17x13x19x20)'(x16x17x18x19x20)'(x1x2x3x4x5)'(x1x2x3x4x10)'(x1x2x3x4x15)'(x1x2x3x9x5)'(x1x2x3x9x10)'(x1x2x3x9x15)'(x1x2x3x14x5)'(x1x2x3x14x10)'(x1x2x3x14x15)'(x1x7x3x4x5)'(x1x7x3x4x10)'(x1x7x3x4x15)'(x1x7x3x9x5)'(x1x7x3x9x10)'(x1x7x3x9x15)'(x1x7x3x14x5)'(x1x7x3x14x10)' y(x)=x6x12x8x19x20˅ x6x12x13x19x20x8'˅ x6x12x18x19x20x8'x13'˅ x6x17x8x19x20x12'x13'x18'˅ x6x17x13x19x20x12'x8'x18'˅ x6x17x18x19x20x12'x8'x13'˅ x11x12x8x19x20x6'x13'x18'x17'˅ x11x12x13x19x20x6'x8'x18'x17'˅ x11x12x18x19x20x6'x8'x13'x17'˅ x11x17x8x19x20x6'x12'x13'x18'˅ x11x17x13x19x20x6'x12'x8'x18'˅ x11x17x18x19x20x6'x12'x8'x13'˅ x16x12x8x19x20x6'x13'x18'x17'x11'˅ x16x12x13x19x20x6'x8'x18'x17'x11'˅ x16x12x18x19x20x6'x8'x13'x17'x11'˅ x16x17x8x19x20x6'x12'x13'x18'x11'˅ x16x17x13x19x20x6'x12'x8'x18'x11'˅ x16x17x18x19x20x6'x12'x8'x13'x11'˅ x1x2x3x4x5(x6x12x8x19x20)'x13'x18'x17'x11'x16'˅ x1x2x3x4x10(x6x12x8x19x20)'x13'x18'x17'x11'x16'x5'˅ x1x2x3x4x15(x6x12x8x19x20)'x13'x18'x17'x11'x16'x5'x10'˅ x1x2x3x9x5(x6x12x8x19x20)'x13'x18'x17'x11'x16'x4'x10'x15'˅ x1x2x3x9x10(x6x12x8x19x20)'x13'x18'x17'x11'x16'x4'x5'x15'˅ x1x2x3x9x15(x6x12x8x19x20)'x13'x18'x17'x11'x16'x4'x5'x10'˅ x1x2x3x14x5(x6x12x8x19x20)'x13'x18'x17'x11'x16'x4'x10'x15'x9'˅ x1x2x3x14x10(x6x12x8x19x20)'x13'x18'x17'x11'x16'x4'x5'x15'x9'˅ x1x2x3x14x15(x6x12x8x19x20)'x13'x18'x17'x11'x16'x4'x5'x10'x9'˅ x1x7x3x4x5(x6x12x8x19x20)'x13'x18'x17'x11'x16'x2'x10'x15'x9'x14'˅ x1x7x3x4x10(x6x12x8x19x20)'x13'x18'x17'x11'x16'x2'x5'x15'x9'x14'˅ x1x7x3x4x15(x6x12x8x19x20)'x13'x18'x17'x11'x16'x2'x5'x10'x9'x14'˅ x1x7x3x9x5(x6x12x8x19x20)'x13'x18'x17'x11'x16'x2'x4'x10'x15'x14'˅ x1x7x3x9x10(x6x12x8x19x20)'x13'x18'x17'x11'x16'x2'x4'x5'x15'x14'˅ x1x7x3x9x15(x6x12x8x19x20)'x13'x18'x17'x11'x16'x2'x4'x5'x10'x14'˅ x1x7x3x14x5(x6x12x8x19x20)'x13'x18'x17'x11'x16'x2'x4'x10'x15'x9'˅ x1x7x3x14x10(x6x12x8x19x20)'x13'x18'x17'x11'x16'x2'x4'x5'x15'x9'˅ x1x7x3x14x15(x6x12x8x19x20)'x13'x18'x17'x11'x16'x2'x4'x5'x10'x9' h(r)=r6 r12 r8 r19 r20+r6 r12 r13 r19 r20(1-r8)+r6 r12 r18 r19 r20(1-r8)(1-r13)+r6 r17 r8 r19 r20(1-r12)(1-r13)(1-r18)+r6 r17 r13 r19 r20(1-r12)(1-r8)(1-r18)+r6 r17 r18 r19 r20(1-r12)(1-r8)(1-r13)+r11 r12 r8 r19 r20(1-r6)(1-r13)(1-r18)(1-r17)+r11 r12 r13 r19 r20(1-r6)(1-r8)(1-r18)(1-r17)+r11 r12 r18 r19 r20(1-r6)(1-r8)(1-r13)(1-r17)+r11 r17 r8 r19 r20(1-r6)(1-r12)(1-r13)(1-r18)+r11 r17 r13 r19 r20(1-r6)(1-r12)(1-r8)(1-r18)+r11 r17 r18 r19 r20(1-r6)(1-r12)(1-r8)(1-r13)+r16 r12 r8 r19 r20(1-r6)(1-r13)(1-r18)(1-r17)(1-r11)+r16 r12 r13 r19 r20(1-r6)(1-r8)(1-r18)(1-r17)(1-r11)+r16 r12r18 r19 r20(1-r6)(1-r8)(1-r13)(1-r17)(1-r11)+r16 r17 r8 r19 r20(1-r6)(1-r12)(1-r13)(1-r18)(1-r11)+r16 r17 r13 r19 r20(1-r6)(1-r12)(1-r8)(1-r18)(1-r11)+r16 r17 r18 r19 r20(1-r6)(1-r12)(1-r8)(1-r13)(1-r11)+r1 r2 r3 r4 r5(1-r6r12r8r19r20)(1-r13)(1-r18)(1-r17)(1-r11)(1-r16)+r1 r2 r3 r4 r10(1-r6r12r8r19r20)(1-r13)(1-r18)(1-r17)(1-r11)(1-r16)(1-r5)+r1 r2 r3 r4 r15(1-r6r12r8r19r20)(1-r13)(1-r18)(1-r17)(1-r11)(1-r16)(1-r5)(1-r10)+r1 r2 r3 r9 r5(1-r6r12r8r19r20)(1-r13)(1-r18)(1-r17)(1-r11)(1-r16)(1-r4)(1-r10)(1-r15)+r1 r2 r3 r9 r10(1-r6r12r8r19r20)(1-r13)(1-r18)(1-r17)(1-r11)(1-r16)(1-r4)(1-r5)(1-r15)+r1 r2 r3 r9 r15(1-r6r12r8r19r20)(1-r13)(1-r18)(1-r17)(1-r11)(1-r16)(1-r4)(1-r5)(1-r10)+r1 r2 r3 r14r5(1-r6
|