Для удобства построения таблицы истинности введем логические переменные.
Обозначим 2*2=4 через a, 3*3=9 - через b.
Тогда высказывание примет вид:
Для этого выражения и построим таблицу истинности.
2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их.
Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.
Объяснение:
var x:integer;
begin
readln(x);
if (x mod 3=0) then
x := x + 1
else
x := x - 2;
writeln(x);
end.
Объяснение:
Если я верно понял задачу, то решение выше.
Вводим число, если оно кратно 3 - прибавляем 1, если нет - вычту 2.
После вывожу результат.