[pyar] listas de peras, elefantes y dinosaurios y <

[Claudio Freire]

2012/3/12 Roberto Alsina <ralsina en netmanagers.com.ar>:
> Por otro lado, no( a>=b or b>c) <==> no(b>c or a>=b) por conmutatividad del
> or, pero...

Perdón, pero acá están confundiendo los tantos.

Las propoiedades de asociatividad y equivalencia de formas
normalizadas son sólo válidas en lógica booleana. En lógica de tres
estados (V, F y bottom), no lo es.