Формулу к скнф и сднф используя законы высказываний и таблицы истинности

Паскаль авс: program  vareeenka; uses crt; var   x,y: real; begin   writeln('*** alphaeus is ***');   writeln('***                  ok                        ***');   writeln();   write('введите основание степени ');   readln (x);   write('введите показатель степени ');   readln (y);   writeln('*** ***');   writeln(power(x,y): 8: 2); ; end.

Правило набора текста: все слова разделяются только одним пробелом. пробел ставится после знаков препинания, перед знаками препинания пробел не ставится. пробел ставится до и после длинного тире, дефис пробелами не выделяется. выражения, символ или слово, заключенные в кавычки или скобки, не отделяются от них пробелами. абзацный отступ (красная строка) устанавливается с маркера линейки (tab), а не дополнительными пробелами. нет необходимости нажимать клавишу «enter» для перехода на новую строку, текст переносится автоматически, достигая правой границы. конец ввода абзаца отмечается нажатием клавиши «enter». в конце заголовка точка не ставится. если заголовок состоит из нескольких предложений, то предложения завершаются точками. при вводе дат и фамилий с инициалами рекомендуется ставить между ними знак неразрывного пробела, чтобы избежать разрыва этих выражений. структура: рабочая область (там где вы пишете( строка меню (значок кружка винды сверху) панель инструментов (сохранить и т.д.) панель форматирования (где изменяется шрифт и т.д.) вертикальная и горизонтальная прокрутка (думаю обьяснять не надо) вертикальные и горизонтальные линейки (это такая штука, с которой ты можешь изменять где будет текст на листе и т.д.) строка состояния (это показывает сколько страниц, на какой ты щяс странице, сколько слов и т.д. (она внизу)) в правой части строки заголовка располагаются обычные кнопки окном (свернуть, развернуть, закрыть).