Reja: Maqsadlar, vazifalar, dars mazmuni

Teoremalar

Nol va birlik qoidasi

Ikkilik o'zgaruvchiga ega bo'lgan elementni o'z ichiga olgan har qanday oddiy operatsiya quyidagicha belgilanadi:
0 + A = A
1 + A = 1
0. A = 0
1. A = A

Teng kuchlar yoki idempotentlik

Teng o'zgaruvchilar o'rtasidagi operatsiyalar quyidagicha aniqlanadi:
A + A = A
TO. A = A

To'ldirish

O'zgaruvchi va uni to'ldiruvchi o'rtasidagi har qanday operatsiya quyidagicha aniqlanadi:
A + NOT A = 1
TO. A = 0 emas

Involution yoki ikki baravar inkor

Har qanday ikki baravar inkor qilish tabiiy o'zgaruvchi sifatida ko'rib chiqiladi.
NOT (NOT A) = A

Kommutativ

A + B = B + A; Jami yig'indisi.
TO. B = B TO; Mahsulotning komutativligi.

Assotsiativ

A + (B + C) = (A + B) + C = A + B + C; Jami assotsiativligi.
TO. (B. C) = (A. B). C = A. B. C; Mahsulot assotsiatsiyasi.