Booleren aljebra

Wikipedia(e)tik
Hona jo: nabigazioa, Bilatu

Booleren aljebra egitura algebraiko bat da.

Definizio formala[aldatu | aldatu iturburu kodea]

Booleren aljebra gutxienez \perp eta \top (edo 0 eta 1) elementuak dituen E multzo bat da, zeinaren barnean bi barne-lege (\vee eta \wedge) definitzen diren, propietate hauek betetzen dituena:

a \lor (b \lor c) = (a \lor b) \lor c a \land (b \land c) = (a \land b) \land c elkarkorra
a \lor b = b \lor a a \land b = b \land a trukakorra
a \lor (a \land b) = a a \land (a \lor b) = a absortzio
a \lor (b \land c) = (a \lor b) \land (a \lor c)   a \land (b \lor c) = (a \land b) \lor (a \land c)   banakorra
a \lor {\neg}a = 1 a \land {\neg}a = 0 osagarria
Commonsen badira fitxategi gehiago, gai hau dutenak: Booleren aljebra Aldatu lotura Wikidatan