x₁(x₁ ∨ x₂)= ¬x₁

x₁ ∨ x₁ x ₂ = ¬x₁ 

x₁ ∨ x₁  x ₂ = x₁

 x₁(x₁ ∨ x₂)= x₂

 імплікацією

еквівалентністю

диз’юнкцією

 кон'юнкцією

незалежності булевих функцій

мінімальності базису булевих функцій

функціональної повноти системи булевих функцій

залежності булевих функцій

сталої 1, диз’юнкції, кон’юнкції

 імплікації, заперечення, сталої 0    

сталої 0, диз’юнкції, кон’юнкції

диз’юнкції, кон’юнкції, заперечення

диз’юнкція простих імплікант, жодну з яких вилучити не можна

кон’юнкція простих імплікант, жодну з яких вилучити не можна

диз’юнктивна сума простих імплікант, жодну з яких вилучити не можна

 f(0,…,0) = 1

f(0,…,0) = 0

 f(1,…,1) = 0

 f(1,…,1) = 1