Logica matematica de una maquina de refresco

Para mi aportación en el blog yo comprobé con lógica matemática que, una maquina de refresco que ofrece un sabor al cliente y tres diferentes tamaños, no se equivoca, y que el cliente está conformesi obtiene lo que pide.

Variables:

1: L= sabor limón
2: C= tamaño chico
3: M= tamaño mediano
*el tamaño Grande es una combinación del chico y del mediano ya que serviría los dos tamaños en unvaso

Proposiciones:
Posibles pedidos:
1: LC
2: LM
3: L(CM)

registro del pedido

3:(LC)(LM)

refresco resultante con respecto al pedido:
4: (LC)( (LC)(LM) )
5: (LM)( (LC)(LM) )

si elresultado es congruente con el pedido el cliente esta satisfecho:
cliente que pidió tamaño chico:
6: ( (LC)( (LC)(LM) ) (LC)(LM)
cliente que pidió tamaño mediano:
7: ( (LM)( (LC)(LM) )(LC)(LM)
cliente que pidió tamaño grande:
8. [( (LC)( (LC)(LM) ) (LC)(LM)][ ( (LM)( (LC)(LM) ) (LC)(LM)]

L | C | M | LC | LM | (LC)(LM) | (LC)( (LC)(LM) ) | (LC)((LC)(LM) ) | PROP. 6 | PROP. 7 | PROP.8 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 |
0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 |
0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 |
0 | 1 | 1 | 0 | 0 | 0| 0 | 0 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 |
1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 |
1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1| 1 |

En los elementos sombreados en rojo, no hay un pedido, sin embargo lo que la máquina sirve y el pedido son congruentes, esto quiere decir, si el cliente no pide un refresco y no obtiene unrefresco pues esta satisfecho porque nunca quiso refresco.

Analicemos el caso en verde:
El cliente ordena un refresco de limón mediano, la máquina registra el pedido.

L | C | M | LC | LM |(LC)(LM) | (LC)( (LC)(LM) ) | (LC)( (LC)(LM) ) | PROP. 6 | PROP. 7 | PROP.8 |
1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 |

La máquina realiza el pedido.

La máquina verifica lo que sirvió con el...