 $M^n={[0,1]}^n$*]{} is a finite set $W$ of [*cells*]{} (i.e., compact convex polyhedrons), whose union is ${[0,1]}^n$, and such that:

1.  every vertex of every cell of $W$ has rational coordinates;

2.  if $C\in W$ and $D$ is a face of $C$, then $D\in W$;

3.  every two cells intersect in a common face.

A [*McNaughton function*]{} is a continuous function $f:{[0,1]}^n\to{[0,1]}$ for which there exists a complex as above and affine linear functions with integer coefficients $F_j(\bar x)=a_j^1x_1+\cdots+a_j^nx_n+a_j^{n+1}$, in 1-1 correspondence with the $n$-dimensional cells $C_j$ of the complex, such that $f\restriction C_j=F_j$ for each $j$.

The\[ref15\] elements of ${\operatorname{Free}_{n}({{\mathit{MV}}})}$ (i.e., the functions from ${[0,1]}^n$ to ${[0,1]}$ induced by a formula of [Łukasiewicz]{} logic) are exactly the McNaughton functions.

Here are typical McNaughton functions, for $n=1$ and $n=2$: they are induced by the formulas $\neg x_0\lor\bigl((x_0\land\neg x_0)\oplus
(x_0\land\neg x_0)\bigr)$ and $(x_0\to x_1)\land(x_0\oplus x_0\oplus x_1\oplus x_1)$, respectively.

![image](figura1.epsf){width="3cm" height="3cm"}![image](figura2clip.epsf){width="3cm" height="3cm"}

Given a substitution $\sigma:{\operatorname{Free}_{n}({{\mathit{MV}}})}\to{\operatorname{Free}_{n}({{\mathit{MV}}})}$, to each function $s_i=\sigma(x_i)$ there corresponds a cellular complex $W_i$ such that $s_i$ is affine linear
$ M^n={[0,1]}^n$ * ] { } is a finite set $ W$ of [ * cells * ] { } (i.e., compact convex polyhedrons), whose coupling is $ { [ 0,1]}^n$, and such that: 

 1.   every vertex of every cellular telephone of $ W$ has rational coordinate; 

 2.   if $ C\in W$ and $ D$ is a face of $ C$, then $ D\in W$; 

 3.   every two cell intersect in a common font. 

 A [ * McNaughton routine * ] { } is a continuous function $ f:{[0,1]}^n\to{[0,1]}$ for which there exist a complex as above and affine linear functions with integer coefficient $ F_j(\bar x)=a_j^1x_1+\cdots+a_j^nx_n+a_j^{n+1}$, in 1 - 1 correspondence with the $ n$-dimensional cells $ C_j$ of the complex, such that $ f\restriction C_j = F_j$ for each $ j$. 

 The\[ref15\ ] elements of $ { \operatorname{Free}_{n}({{\mathit{MV}}})}$ (i.e., the routine from $ { [ 0,1]}^n$ to $ { [ 0,1]}$ induced by a formula of [ Łukasiewicz ] { }   logic) are exactly the McNaughton functions. 

 Here are typical McNaughton function, for $ n=1 $ and $ n=2 $: they are induced by the formulas $ \neg x_0\lor\bigl((x_0\land\neg x_0)\oplus 
 (x_0\land\neg x_0)\bigr)$ and $ (x_0\to x_1)\land(x_0\oplus x_0\oplus x_1\oplus x_1)$, respectively. 

! [ image](figura1.epsf){width="3 cm " height="3cm"}![image](figura2clip.epsf){width="3 cm " height="3 cm " } 

 Given a substitution $ \sigma:{\operatorname{Free}_{n}({{\mathit{MV}}})}\to{\operatorname{Free}_{n}({{\mathit{MV}}})}$, to each routine $ s_i=\sigma(x_i)$ there corresponds a cellular complex $ W_i$ such that $ s_i$ is affine linear
 $M^n={[0,1]}^j$*]{} is a finite set $W$ of [*ctlls*]{} (i.e., compact convex pmlyheddons), whore union is ${[0,1]}^n$, and such that:

1.  ecery certex of every cell ow $W$ has rwtional xoorvinates;

2.  if $C\in X$ and $D$ lf a rwce mh $C$, then $D\in W$;

3.  every two cells intersewt iu a common face.

A [*McNaughton function*]{} is a cpnhinuous functijn $f:{[0,1]}^m\eo{[0,1]}$ fkg chich there exists a complex as above end affine linesr functions with integer foefvicients $F_j(\bar x)=a_j^1d_1+\cdots+a_j^nx_n+q_j^{n+1}$, yb 1-1 corresponaence with the $n$-dimensjonal cells $C_j$ of the complex, sjch tkat $f\restrixtuon W_j=F_j$ for earh $j$.

Thv\[ref15\] elements of ${\operdtornamr{Free}_{n}({{\mathit{MV}}})}$ (i.e., thw functions from ${[0,1]}^n$ to ${[0,1]}$ induced by a foriula of [Łunaaiewicz]{} logic) are wxqctly the McNxyghgon fnncfions.

Hfre are typiczl McNaughtin functions, for $n=1$ snq $n=2$: they are ihduced br the formulas $\neg x_0\lor\bigl((x_0\land\neg x_0)\opnus
(s_0\land\neg x_0)\bigr)$ and $(x_0\to z_1)\land(x_0\oplus x_0\oplus x_1\oklus x_1)$, res[ectively.

![image](figura1.epsf){width="3cm" height="3cm"}![image](figusa2cli'.eosf){clqgy="3cl" height="3cm"}

Given a substitution $\sigma:{\operatornwje{Grve}_{n}({{\mathit{MV}}})}\to{\operctorname{Free}_{n}({{\matnih{MF}}})}$, to each funcjion $s_i=\sigja(x_i)$ there corresplnds a selluoar compltx $W_i$ such that $s_i$ is affine linwar
$M^n={[0,1]}^n$*]{} is a finite set $W$ of compact polyhedrons), whose is ${[0,1]}^n$, and of cell of $W$ rational coordinates; 2. $C\in W$ and $D$ is a of $C$, then $D\in W$; 3. every two cells intersect in a common A [*McNaughton function*]{} is a continuous function $f:{[0,1]}^n\to{[0,1]}$ for which there exists a as and linear with integer coefficients $F_j(\bar x)=a_j^1x_1+\cdots+a_j^nx_n+a_j^{n+1}$, in 1-1 correspondence with the $n$-dimensional cells $C_j$ of the complex, that $f\restriction C_j=F_j$ for each $j$. The\[ref15\] elements ${\operatorname{Free}_{n}({{\mathit{MV}}})}$ (i.e., the functions ${[0,1]}^n$ to ${[0,1]}$ induced by formula [Łukasiewicz]{} logic) exactly McNaughton Here are typical functions, for $n=1$ and $n=2$: they are induced by the formulas $\neg x_0\lor\bigl((x_0\land\neg x_0)\oplus (x_0\land\neg x_0)\bigr)$ and x_1)\land(x_0\oplus x_0\oplus respectively. ![image](figura1.epsf){width="3cm" height="3cm"} a $\sigma:{\operatorname{Free}_{n}({{\mathit{MV}}})}\to{\operatorname{Free}_{n}({{\mathit{MV}}})}$, to each there corresponds a cellular complex $W_i$ is affine linear
 $M^n={[0,1]}^n$*]{} is a finite set $W$ of [*cells*]{} (i.e., Compact conVex poLyhEdrOnS), whoSe unIon is ${[0,1]}^n$, and such tHAt:

1.  evEry vertex of every cell of $w$ has rAtIOnal COoRdinaTes;

2.  if $C\iN w$ aND $d$ is A fAcE of $c$, tHEn $d\in W$;

3.  eVerY two celLs intersecT in A cOmmon face.

A [*McnAuGhton functIon*]{} Is a continuouS fuNction $F:{[0,1]}^n\To{[0,1]}$ fOR whicH thEre exIsts a cOMplex aS above and AfFIne linEAr functIONs With Integer coefficienTS $F_J(\Bar x)=a_j^1x_1+\cdots+a_j^Nx_n+a_j^{n+1}$, In 1-1 COrRESpoNdeNce with the $N$-dImensIOnal celLS $C_J$ OF The COmplex, such thaT $f\restrictiON C_j=f_j$ for eAcH $j$.

THE\[ref15\] elEmentS oF ${\OpeRatorname{FrEe}_{n}({{\mAthit{MV}}})}$ (i.e., The funCTions frOM ${[0,1]}^n$ to ${[0,1]}$ indUced by A foRmuLa of [łUkAsIewIcZ]{} LogIC) aRe eXActLy the McNAuGhTon fuNctiONS.

hEre aRe tYpicAl McNAughton functiOns, For $n=1$ ANd $n=2$: They aRe indUced By The foRmulas $\Neg x_0\lOr\Bigl((x_0\land\neg x_0)\opLus
(x_0\Land\neg x_0)\bIgr)$ AnD $(x_0\tO x_1)\Land(x_0\OPlus x_0\oPluS x_1\oPlus x_1)$, reSpectivELy.

![iMaGE](FIgUra1.epsf){width="3cm" heigHt="3CM"}![ImAge](figurA2clip.ePSf){WiDTh="3cm" heigHt="3Cm"}

GIven A SUbstiTutiON $\sIgma:{\operAtornaME{FReE}_{n}({{\mathiT{Mv}}})}\to{\opeRaTorNamE{Free}_{N}({{\MathIt{MV}}})}$, to Each funcTion $s_I=\Sigma(x_i)$ there coRResponds a cellULaR COmPLex $W_I$ suCh that $s_i$ is aFfinE LineAr
 $M^n={[0,1]}^n$*]{} is afinite set  $W$of[*c el ls*] {} ( i.e., compactc onve x polyhedrons), whoseunion  i s  ${[ 0 ,1 ]}^n$ , and s u ch t hat :
1 . ev e ry  vert exof ever y cell of$W$  h as rationalc oo rdinates;
2.   if $C\in W $ a nd $D$  i s a faceof$C$,then $ D \in W$ ;

3.  ev er y  two c e lls int e r se ct i n a common face.A[ *McNaughton fu nction *] { }i s  acon tinuous fu nc tion$ f:{[0,1 ] }^ n \ t o{[ 0 ,1]}$ for whi ch there ex i sts  a com pl exa s abov e and  a f fin e linear fu ncti ons withintege r  coeffi c ients $ F_j(\b arx)= a_j^ 1 x_ 1+ \cd ot s +a_ j ^n x_n + a_j ^{n+1}$,  i n1-1 c orre s p o n denc e w iththe $ n$-dimensiona l c ells $C_ j$ of  thecomp le x, su ch tha t $f\ re striction C_j=F _j$for each$j$ .
Th e\ [ref1 5 \] ele men tsof ${\o perator n ame {F r e e }_ {n}({{\mathit{MV}} }) } $  ( i.e., th e func t io ns from ${[ 0, 1]} ^n$t o  ${[0 ,1]} $  i nduced b y a fo r mu la  of [Łu ka siewic z] {}log ic) a r e ex actlythe McNa ughto n  functions.

H e re are typica l  M c N au g hton  fu nctions, fo r $n = 1$ a nd $ n =2 $:t hey a re in du c ed by the formulas $\n eg  x_0\l or\bi gl((x_0\land\ neg x_0)\o p l u s
(x_0\l and\ n eg x_0)\bigr)$ an d $(x _0\to x_1) \ land(x_0 \oplu s x_0\op lus x_1\o p l us x_1)$ , r esp ect ive l y .
![image](fig u r a1.e ps f){widt h=" 3cm" he igh t=" 3cm "}! [i mage](fig ura2clip .e ps f) {w idt h="3c m " height =" 3cm "} 

G ivena  subst ituti on $ \s ig m a:{ \operat o rn a m e{Fr ee }_ {n}( {{\ ma thit{ MV}} } )}\ to{\ope ratorname {Fr e e}_{ n} ({ {\mathi t{MV}}})}$, t oeach funct io n $ s_i=\s i g ma(x_i)$  there corresponds a ce l lular c omp lex $ W_i$  such tha t $ s_i$ i s a f fine l inear
 $M^n={[0,1]}^n$*]{}_is a_finite set $W$ of_[*cells*]{} (i.e.,_compact_convex polyhedrons),_whose_union is ${[0,1]}^n$,_and such that:

1._ every vertex of_every cell of_$W$_has rational coordinates;

2.  if $C\in W$ and $D$ is a face of $C$,_then_$D\in W$;

3.__every_two cells intersect in a_common face.

A [*McNaughton function*]{} is_a continuous_function $f:{[0,1]}^n\to{[0,1]}$ for which there exists a complex_as_above and affine_linear functions with integer coefficients $F_j(\bar x)=a_j^1x_1+\cdots+a_j^nx_n+a_j^{n+1}$, in 1-1_correspondence with the $n$-dimensional cells $C_j$_of the complex,_such_that_$f\restriction C_j=F_j$ for each_$j$.

The\[ref15\] elements of ${\operatorname{Free}_{n}({{\mathit{MV}}})}$ (i.e., the_functions from ${[0,1]}^n$ to ${[0,1]}$ induced_by a formula of [Łukasiewicz]{} logic) are exactly_the McNaughton functions.

Here are typical McNaughton_functions, for $n=1$ and $n=2$:_they are_induced by the formulas $\neg_x_0\lor\bigl((x_0\land\neg x_0)\oplus
(x_0\land\neg x_0)\bigr)$_and $(x_0\to_x_1)\land(x_0\oplus x_0\oplus x_1\oplus_x_1)$, respectively.

![image](figura1.epsf){width="3cm" height="3cm"}![image](figura2clip.epsf){width="3cm" height="3cm"}

Given a substitution_$\sigma:{\operatorname{Free}_{n}({{\mathit{MV}}})}\to{\operatorname{Free}_{n}({{\mathit{MV}}})}$, to each_function $s_i=\sigma(x_i)$ there corresponds a cellular_complex_$W_i$ such that_$s_i$_is_affine linear