Называется моделью
....................................................
При составлении таблиц истинности количество строк зависит от количества логических переменных, а количество столбцов - от количества логических операций в выражении.
var a,b,c,d:integer;
begin
read(d);
a:=d div 100;
b:= (d div 10) mod 10 ;
c:=d mod 10;
if (a+b+c) >15 then
writeln('YES')
else
writeln('NO');
readln;
end.
<u>2*_+5=7</u>
х= 7-5
х=2
х=2разделить на 2
х=1
<u>проверка 2*1+5=7</u> 7=7