Для удобства построения таблицы истинности введем логические переменные.
Обозначим 2*2=4 через a, 3*3=9 - через b.
Тогда высказывание примет вид:
Для этого выражения и построим таблицу истинности.
2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их.
Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.
begin
var (a, b, c) := (1.5, 2.0, -0.75);
var x := ReadReal('Введите x');
var y := a * Exp(-Sqrt(x)) * Cos(b * x) + c;
Println(y);
(a, b, c) := (2, 0.7, 0.5);
var t := ReadReal('Введите t');
var z := a * Cos(b * t * Sin(t)) + c;
Println(z);
(a, b) := (2, 1.2);
z := Sqrt(a + b * Exp(Sin(x)) + 1);
Println(z);
end.
Var n:integer;
begin readln(n);
if n mod 10 = 0 then write(2) else write(1);
<span>end.</span>