У исполнителя Альфа две команды, которым присвоены номера: 1. прибавь 1 2. умножь на 9 Выполняя первую из них, Альфа увеличивает число на экране на 1, а выполняя вторую, умножает это число на 9. Известно, что программа переводит число 4 в число 56. Составьте схему ходов в виде дерева. Не рассматривать более 5 ходов.

Для удобства построения таблицы истинности введем логические переменные.
Обозначим 2*2=4 через a, 3*3=9 - через b.
Тогда высказывание примет вид:

Для этого выражения и построим таблицу истинности.

2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их.
Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается  теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.

Абзац є ключовим елементом у структурі документа для багатьох текстових процесорів.

Указані операції включають установку границь абзаців і абзацних відступів, вирівнювання, а також вмикання переносу слів.

Установку границь абзаців здійснюють за. до маркерів відступів, що знаходяться на координатній лінійці, або відповідними командами меню.

Вирівнювання (виключна). Розрізняють чотири види горизонтального (вліво, вправо, по центру, по ширині) і три види вертикального вирівнювання (вгору, вниз, по висоті).

Перенос. При вимкнутому режимі автоматичного переносу слово, яке не помістилося на рядку, повністю переноситься на наступний рядок. Це не додає тексту елегантності; його правий край залишається нерівним. Для поліпшення зовнішнього вигляду тексту використовують режим переносу. При ручному варіанті переносу користувач сам визначає місце переносу, вводячи дефіс, і жорстким переведенням каретки (натисканням на клавішу <Enter>) переходить на наступний рядок. Використання такого режиму переносу призводить до необхідності видалення дефісів при повторному форматуванні тексту документа.

При ввімкнутому режимі автоматичного переносу реалізується м'який варіант переносу: текстовий процесор сам ділить слово на склади і переносить його найкращим Цей режим не створює ніяких труднощів при повторному Форматуванні.