I-группа

1.Коммутативности:

Х / У = У / Х

Х / У = У / Х

2. Ассоциативности: (сочетательный)

Х / (У / Z) = (X / Y) / Z

Х / (У / Z) = (X / У) / Z

3.Дистрибутивности:

Х / (Y / Z) = (X / Y) / (X / Z)

X / (Y / Z) = (X / Y) / (X / Z)

4.Де Моргана:

(все под отриц.) X / Y = X / Y(только х и у отриц.)

(все под отриц.) X / Y = X / Y(только Х и У отриц.)

5.Закон поглощения:

X / (X / Y) = X

X / (X / Y) = X

6.Закон склеивания:

(X / Y) / (X / Y(у отриц.)) = Х

 

(X / Y) / (X / Y(у отриц.)) = Х