4403041261

Definicja c.d.

• operatory sumy logicznej, iloczynu logicznego i dopełnienia spełniają dla wszystkich elementów zbioru B następujące postulaty (aksjomaty)(a,b,c£B):

A, - postulat przemienności sumy i iloczynu

A₂ - postulat wzajemnej rozdzielności sumy i iloczynu

A₃ - postulat o elemencie identycznościowym:

•    dla operatora sumy identycznościowym jest element wyróżniony oznaczony „0”, tzn. a + 0 = a,

•    dla operatora iloczynu identycznościowym jest element wyróżniony oznaczony „1”, tzn. a • 1 = a,

A₄ - postulat o dopełnieniu: dla operatora sumy i iloczynu obowiązują zależności:

oraz

a + ~a = 1

a • ~a = 0