→

⇔

≠

∷=

вони не містять порожніх рядків

породжені ними мови рівні

вони мають однакові термінальні символи

вони мають однакові нетермінальні символи

x ∧ 1

x ⨁ 1

x ∧ y ∧ 1

x ∧ y ⨁ 1

клас функцій, що зберігають 0

клас функцій, що не зберігають 1

клас монотонних функцій

клас функцій, що зберігають 1

0 ∧ y ∧ z

x ∨ y ∧ z

x ∧ y ∧ 1

x ⨁ 0 ∧ z

y⨁x⨁1

x ∧ y

x⨁y⨁x⨁1

x ∧ y⨁x⨁1

0

1

неможливо визначити

2

кон’юнкції елементарних диз’юнкцій

кон’юнкції усіх змінних

диз’юнкції елементарних кон’юнкцій

диз’юнкції усіх змінних

інша відповідь

0

1

неможливо визначити

двомісний

одномісний

n-місний

тримісний