319 bytes added
, 01:57, 2 September 2020
* O conjunto dos operadores clássicos é '''funcionalmente completo''' sobre <math>\{0,1\}</math>, isto é, permite expressar qualquer operador <math>n</math>-ário 2-valorado
== Para reflexão ==
*
== Veja também ==
*
== Links externos ==
* [https://en.wikipedia.org/wiki/Post%27s_lattice Reticulado de Post]