(¬x → ¬z) ˅ y → (x → y) → ¬x ˅ ¬z = (заменяем импликацию)
(¬¬x ˅ ¬z) ˅ y → (¬x ˅ y) → ¬x ˅ ¬z = (закон двойного отрицания)
x ˅ ¬z ˅ y → (¬x ˅ y) → ¬x ˅ ¬z = (заменяем импликацию)
¬(x ˅ ¬z ˅ y)˅(¬x ˅ y)→ ¬x ˅ ¬z = (закон де Моргана)
(¬x ˄ ¬¬z ˄ ¬y ˅ ¬x ˅ y)→ ¬x ˅ ¬z = (закон двойного отрицания)
(¬x ˄ z ˄ ¬y ˅ ¬x ˅ y)→ ¬x ˅ ¬z = (правило поглощения ¬x ˄ z ˄ ¬y ˅ ¬x = ¬x)
(¬x ˅ y)→ ¬x ˅ ¬z = (заменяем импликацию)
¬(¬x ˅ y)˅ ¬x ˅ ¬z = (закон де Моргана)
(¬¬x ˄ ¬y)˅ ¬x ˅ ¬z = (закон двойного отрицания)
(x ˄ ¬y)˅ ¬x ˅ ¬z = (распределительный закон)
(x˅ ¬x ˄ ¬y˅ ¬x)˅ ¬z = (исключение третьего)
¬x ˅ ¬y ˅ ¬z
11001000001010 в двоичной системе
Тут не очень длинная строка получилась, её можно обработать и в таблице Excel.
Собственно, я составил таблицу для решения этой задачи (она прилагается к решению).
Самое большое преобразование там- это расстановка символов в обратном порядке.
Результат в таблице- после всех возможных замен символов BAB, в полученной строке осталось 24 буквы B.
так понимаю это не степени, а система счисления. Переведем в десятичную и сравним.
1110^2 = 14
12^8 = 10
Ответ: 1110^2 > 12^8