Algebra di Robbins: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 1:
{{O|matematica|maggio 2020}}
{{U|pagina=Algebra di Boole|verso=a|data=maggio 2020}}
In [[algebra astratta]], un'algebra di '''Robbins''' è un'algebra contenente una unica [[operazione binaria]], solitamente indicata da <math>\lor</math> e una unica [[operazione unaria]] solitamente indicata da <math>\neg</math> . Queste operazioni soddisfano i seguenti [[Algebra universale|assiomi]] :
| |||