Algebra di Robbins: differenze tra le versioni

Versione delle 21:22, 17 nov 2020

Versione delle 00:32, 27 gen 2021

Riga 1:

{{O|matematica|maggio 2020}}

{{U|pagina=Algebra di Boole|argomento=matematica|verso=a|data=maggio 2020}}

In [[algebra astratta]], un'algebra di '''Robbins''' è un'algebra contenente un'unica [[operazione binaria]], solitamente indicata da <math>\lor</math> e un'unica [[operazione unaria]] solitamente indicata da <math>\neg</math> . Queste operazioni soddisfano i seguenti [[Algebra universale|assiomi]] :