F = x 1 x 2 + x 2 x 3 + x 1 x 2 x 3

AND/OR mapping

M ( M ( M ( x 1 , 0 , x 2 ) , 1 , M ( x 2 , 0 , x 3 ) ) , 1 , M ( M ( x 1 , 0 , x 2 ) , 0 , x 3 ) )

6

3

3

12

[15] [16] [19]

M ( M ( M ( x 1 , 1 , x 3 ) , 0 , x 2 ) , 1 , M ( M ( x 2 , 0 , x 3 ) , 0 , x 1 ) )

5

3

3

10

[17]

M ( M ( x 1 , x 2 , x 3 ) , M ( x 1 , 1 , x 2 ) , M ( x 2 , 0 , x 3 ) )

4

2

3

10

[18] [20]

M ( M ( x 1 , x 2 , x 3 ) , M ( x 1 , 0 , x 2 ) , M ( x 2 , 1 , x 3 ) )

4

2

3

10

[21] [26]

M ( M ( x 1 , 1 , x 2 ) , M ( x 2 , 1 , x 3 ) , M ( x 1 , x 2 , x 3 ) )

4

2

2

10

F = x 1 x 2 x 3 + x 1 x 2 x 3 + x 1 x 2 x 3 + x 1 x 2 x 3

AND/OR mapping

M ( M ( M ( M ( x 1 , 0 , x 2 ) , 0 , x 3 ) , 1 , M ( M ( x 1 , 0 , x 2 ) , 0 , x 3 ) ) , 1 , M ( M ( M ( x 1 , 0 , x 2 ) , 0 , x 3 ) , 1 , M ( M ( x 1 , 0 , x 2 ) , 0 , x 3 ) ) )

11

5

6

22

[15] [16] [19]

M ( M ( x 1 , x 2 , x 3 ) , x 3 , M ( x 1 , x 2 , x 3 ) )

3

2

3

9

[17]

M ( M ( x 1 , x 2 , x 3 ) , x 3 , M ( x 1 , x 2 , x 3 ) )

3

2

2

9

[18] [20]

M ( M ( x 1 , x 2 , x 3 ) , M ( x 1 , x 2 , x 3 ) , M ( x 1 , x 2 , x 3 ) )

4

2

3

12

[21] [26]

M ( M ( x 1 , x 2 , x 3 ) , x 1 , M ( x 1 , x 2 , x 3 ) )

3

2

2

9

F = x 1 x 2 x 3 + x 1 x 2 x 3

AND/OR mapping

M ( M ( M ( x 1 , 0 , x 2 ) , 0 , x 3 ) , 1 , M ( M ( x 1 , 0 , x 2 ) , 0 , x 3 ) )

5

3

2

10

[15] [16] [19]

M ( M ( x 1 , x 2 , x 3 ) , 0 , M ( x 1 , x 2 , x 3 ) )

3

2

2

8

[17]

M ( M ( x 2 , 0 , x 3 ) , x 1 , M ( x 2 , 1 , x 3 ) )

3

2

1

7

[18] [20]

M ( M ( M ( x 2 , 0 , x 3 ) , 1 , M ( x 2 , 0 , x 3 ) ) , 0 , x 1 )

4

3

2

8

[21] [26]

M ( M ( x 2 , 0 , x 3 ) , x 1 , M ( x 2 , 1 , x 3 ) )

3

2

1

7