4. Задача 3. Определить истинность выражения с помощью построения таблицы истинности. Дано выражение D ∧ ¬K.

Строим таблицу для всех сочетаний значений D и K. Отрицание ¬K меняет значение K на противоположное; конъюнкция D ∧ ¬K истинна, только когда оба операнда истинны.

Выражение истинно только во второй строке таблицы, поэтому оно выполнимо, но не является ни тождественно истинным, ни тождественно ложным.

Ответ: выражение D ∧ ¬K истинно при D = И и K = Л.