Задание 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)