Question

Задание 1. Найти содержащие минимально возможное число
вхождений пропозициональных букв) равносильные пропозициональные
формы для следующей пропозициональной формы.
A&A&B ∨ B ⟹ A&B ∨ B ∨ A&A&C

Задание 2. Привести следующую пропозициональную форму к д.н.ф. и к.н.ф.

A ⟹ ((A ⟹ B) ⟹ B)

Задание 3. Для заданной пропозициональной формы выяснить,
1) является ли она выполнимой или тавтологией; 2) найдите д.н.ф., к.н.ф.; 3)
найдите с.д.н.ф. и с.к.н.ф.

A ≡ B ∨ C

Задание 4. Построить контактную схему для пропозициональной формы.

(A ⟹ B)&C ⟹ ¬A

Задание 5. Запишите символически следующее предложение.

Всегда имеет место A(x)