Укажите значение переменных k, l, m, n, при которых логическое выражение (¬k ∨ m) ⇒ (l ∨ m ∨ ¬n) ложно. ответ запишите в виде строки из четырёх символов: значений переменных k, l, m и n (в указанном порядке). так, например, строка 1101 соответствует тому, что k = 1, l = 1, m = 0, n = 1.

⇒ обозначает импликация при которой ложь выходит только когда слева 1 а справа 0
Справа L,M, и ¬N должны быть 0 следовательно L=0, M=0, N=1
Слева ¬K должно быть 1 иначе слева не выйдет 1 следовательно K=0
0001

ответ: K = 0, L = 0, M = 0, N = 1.

Строишь таблицу истинности. Просто выполняешь каждое действие и заносишь его в таблицу.
⇒ импликация. Таблица истинности во вложении. Если математически, то это условие: a ≤ b. Если оно выполняется, то условие истинно.
Т.е. если a = 1, b = 0, то a ⇒ b = 0(ложь). Во всех остальных случаях 1(истина).

Выполнять надо по приоритету, как в математике. Сначала отрицание ¬, умножение ∧, сложение ∨ и т.д. Импликацию ⇒  обычно делают в конце, если нет эквивалентности ~. Ну и стоит обращать внимание на скобки.