Для удобства построения таблицы истинности введем логические переменные.
Обозначим 2*2=4 через a, 3*3=9 - через b.
Тогда высказывание примет вид:
Для этого выражения и построим таблицу истинности.
2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их.
Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.
Объяснение:
Поделитесь своими знаниями, ответьте на вопрос:
Var
x1,x2,x3,y1,y2,y3:integer;
p1,p2:real;
begin
readln(x1,y1,x2,y2,x3,y3);
p1:=(y3-y1)/(y2-y1);
p2:=(x3-x1)/(x2-x1);
if p1=p2 then writeln('На одной прямой') else writeln('Не на одной прямой');
end.
Пример ввода:
1
1
2
2
3
3
Пример вывода:
На одной прямой