Algebra di Robbins: differenze tra le versioni

Versione delle 20:31, 31 mag 2020

Versione delle 21:22, 17 nov 2020

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 una un'unica [[operazione binaria]], solitamente indicata da <math>\lor</math> e una un'unica [[operazione unaria]] solitamente indicata da <math>\neg</math> . Queste operazioni soddisfano i seguenti [[Algebra universale|assiomi]] :

Per ogni elemento ''a'', ''b'' e ''c'' :