Контрольная работа

Вариант 1
1. С помощью таблиц истинности выяснить, эквиваленты ли формулы.

x → y, ((x ∧ y) ⊕ x) ⊕ 1
2. С помощью тождественных законов пр-я привести формулу к ДНФ. Написать СДНФ.

(x1 ∨ x 2 x3 ) ∧ (x1 x 2 ∨ x3 ) ∧ (x1 x 2 ∨ x3)

3. С помощью тождественных законов пр-я привести формулу к КНФ. Написать СКНФ.

x1 x 2 ∨ x 2 x3 ∨ (x1 → x 2 x3)
4. Преобразовать формулу в многочлен Жегалкина, предварительно преобразовав ее к
формуле над отрицанием и конъюнкцией, используя экв-ти.

x1 ↓ x 2 ↓ (x3 → x1)
5. Проверить на полноту систему функций, используя теорему Поста.

{x, x ↔ y, x → (y → z)}

Вариант 2
1. С помощью таблиц истинности выяснить, эквиваленты ли формулы.

x | (y → z), (x | y) → (x | z)
2. С помощью тождественных законов пр-я привести формулу к ДНФ. Написать СДНФ.

(x1 → x 2 ) ∧ (x 2 → x3 ) ∧ (x3 → x1 x4 )
3. С помощью тождественных законов пр-я привести формулу к КНФ. Написать СКНФ.

x1 x 2 ∨ x 2 x3 ∨ x3 x4 ∨ x1 x4
4. Преобразовать формулу в многочлен Жегалкина, предварительно преобразовав ее к
формуле над отрицанием и конъюнкцией, используя экв-ти.

(x1 ↔ x 2 ↓ x3) ∧ x1
5. Проверить на полноту систему функций, используя теорему Поста.

{0,x ∧ y, (x → y) → z}