Обычно логическое или обозначают U или +, а | это штрих Шеффера.Ну ладно, оставим это на совести авторов задачника.Рассмотрим уравнения по порядку.1 уравнение. c | d = 1Это значит, что какая-то переменная, с или d, должна быть 1, а вторая может быть какой угодно. Уравнение имеет 3 решения:1) c = 1; d = 02) c = 0; d = 13) c = 1; d = 12 уравнение. ~d | ~c | ~a = 1Здесь тоже самое, одна из переменных равна 1. Решения:1) ~d = 1 => d = 0; a и c любые - 4 решения.2) ~c = 1 => c = 0; a и d любые - 4 решения.3) ~a = 1 => a = 0; c и d любые - 4 решения.3 уравнение. c & d | ~a = 1Это более сложно. Логическое и:c & d = 1Это выполняется, если обе переменных равны 1. Решения такие:1) c = 1; d = 1; ~a = 0 => a = 12) c = 1; d = 1; ~a = 1 => a = 03) ~a = 1 => a = 0; c и d любые - 4 решения.4 уравнение.b & d = 1Это уравнение имеет только одно решение:b = 1; d = 1.Теперь подставляем решение 4 уравнения в остальные уравнения.1) b = 1; d = 1; c = 0~d = 0; ~c = 1, 2 уравнение верное.c & d = 0 & 1 = 0, значит ~a = 1; a = 0a = 0; b = 1; c = 0; d = 1 - ЭТО РЕШЕНИЕ.2) b = 1; d = 1; c = 1~d = 0; ~c = 0, значит, ~a = 1; a = 0c & d | ~a = 0 & 0 | 1 = 1a = 0; b = 1; c = 1; d = 1 - ЭТО РЕШЕНИЕ.Все, 2 решения.