x10 v x13x15) v x4 (x3x9x5 v x3x9x10 v x3x9x15 v x8x9x5 v x8x9x10 v x8x9x15 v x13x9x5 v x13x9x10 v x13x9x15)
y (x) 000 = x3 (x5 v x10 v x15) v x3 (x8x5 v x8x10 v x8x15 v x13x5 v x13x10 v x13x15)
y (x) 0001 = x8 (x5 v x10 v x15) v x8 (x13x5 v x13x10 v x13x15)
y (x) 00011 = x13 (x5 v x10 v x15) v x13 (0)
y (x) 001 = x9 (x3x5 v x3x10 v x3x15 v x8x5 v x8x10 v x8x15 v x13x5 v x13x10 v x13x15) v x9 (0)
y (x) 0010 = x3 (x5 v x10 v x15) v x3 (x8x5 v x8x10 v x8x15 v x13x5 v x13x10 v x13x15)
y (x) 00101 = x8 (x5 v x10 v x15) v x8 (x13x5 v x13x10 v x13x15)
y (x) 001011 = x13 (x5 v x10 v x15) v x13 (0)
y (x) 1 = x18 (x6x7x19x20 v x6x7x14x20 v x6x12x19x20 v x6x12x14x20 v x11x17x19x20 v x11x17x14x20 v x16x17x19x20 v x16x17x14x20) v x18 ( 0)
y (x) 10 = x20 (x6x7x19 v x6x7x14 v x6x12x19 v x6x12x14 v x11x17x19 v x11x17x14 v x16x17x19 v x16x17x14) v x20 ( 0)
y (x) 100 = x6 (x7x19 v x7x14 v x12x19 v x12x14) v x6 (x11x17x19 v x11x17x14 v x16x17x19 v x16x17x14)
y (x) 1000 = x7 (x19 v x14) v x7 (x12x19 v x12x14)
y (x) 10001 = x12 (x19 v x14) v x12 (0)
y (x) 1001 = x17 (x11x19 v x11x14 v x16x19 v x16x14) v x17 (0) li>
y (x) 10010 = x11 (x19 v x14) v x11 (x16x19 v x16x14)
y (x) 100101 = x16 (x19 v x14) v x16 (0)
В
Тепер всі функції, що входять в структурну формулу - бесповторном, а сама формула має наступний вигляд:
В
y (x) = x1x2x4x3y0000 v x1x2x4x3 x8y00010 v x1x2x4x3 x8 x13y000110 v x1x2x4 x9x3y00100 v x1x2x4 x9x3 x8y001010 v x1x2x4 x9x3 x8 x13y0010110 v x1 x18x...