¬x₁x₃ ∨ x₁¬x_2.

x₂x₃ ∨ x₁¬x_3.

¬x₂x₃ ∨ x₁x_3.

¬x₁x₂ ∨ x₁¬x_2.

x₂x_3.

¬x₂¬x_3.

¬x₁¬x_4.

x₁x_4.

84.

76.

42.

121.

пошуку ДКНФ.

пошуку ДДНФ.

пошуку МДНФ.

побудови карти Карно.

спосіб подання булевої функції як диз'юнкції кон'юнкцій змінних або їх заперечень.

кон'юнкція констатуент нуля (макстерми) відповідних наборам вхідних змінних, для яких функція рівна нулю.

спосіб подання булевої функції як кон'юнкції диз'юнкцій змінних або їх заперечень.

диз'юнкція констатуент одиниці (мінтерми) відповідних наборам вхідних змінних, для яких функція рівна одиниці.

Групи повинні бути прямокутними і мати розмір, що дорівнює два. Групи можуть перетинатися.

Групи повинні бути прямокутними і мати розмір, що дорівнює ступеню двійки. Групи можуть перетинатися.

Групи повинні бути прямокутними і мати розмір, що дорівнює ступеню двійки. Групи не можуть перетинатися.

Групи можуть бути будь-якого розміру. Групи не можуть перетинатися.

кон'юнкція констатуент нуля (макстерми) відповідних наборам вхідних змінних, для яких функція рівна нулю.

спосіб подання булевої функції як кон'юнкції диз'юнкцій змінних або їх заперечень.

спосіб подання булевої функції як диз'юнкції кон'юнкцій або їх заперечень.

диз'юнкція констатуент одиниці (мінтерми) відповідних наборам вхідних змінних, для яких функція рівна одиниці.

y'

z

x'

yz'