Для удобства построения таблицы истинности введем логические переменные. Обозначим 2*2=4 через a, 3*3=9 - через b. Тогда высказывание примет вид: Для этого выражения и построим таблицу истинности.
2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их. Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.
Задача 1 var x,y:integer; begin writeln('Введите х'); readln(x); writeln('Введите y'); readln(y); if x<y then writeln('Меньшее: ',x) else if x>y then writeln('Меньшее: ',y) else if x=y then writeln('Числа равны') end.
задача 2 var x,y:integer; begin writeln('Введите первое число'); readln(x); writeln('Введите второе число'); readln(y); if y=0 then writeln('Второе число равно 0. Деление невозможно!') else writeln(x,'/',y,'=',x/y); end.
задача 3 var s,name:string; begin writeln('Введите ваше имя'); readln(name); writeln('Введите строку'); readln(s); if s=name then writeln('Привет!') else writeln('Здравствуйте!'); end.
задача 4 var x:integer; begin writeln('Введите число'); readln(x); if (x mod 2)=0 then writeln('Четное') else writeln('Нечетное') end.
задача 5 var x:string; i:integer; begin writeln('Введите строку'); readln(x); writeln('Введите номер символа'); readln(i); if i > length(x) then writeln('Нет символа!') else writeln(x[i]) end.
задача 6 var x,y:integer; begin writeln('Количество яблок:'); readln(x); writeln('Количество апельсинов:'); readln(y); if (x*100)>(y*150) then writeln('Берите яблоки') else if (x*100)<(y*150) then writeln('Берите апельсины') else if (x*100)=(y*150) then writeln('Вес яблок и апельсинов одинаковый') end.
Для удобства построения таблицы истинности введем логические переменные.
Обозначим 2*2=4 через a, 3*3=9 - через b.
Тогда высказывание примет вид:
Для этого выражения и построим таблицу истинности.
2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их.
Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.