program raf105;
uses robot;
begin
task('if5');
if (wallfromdown) or (wallfromup)
then begin left; paint; right; right; paint; left;
end;
if (wallfromleft) or (wallfromright)
then begin up; paint; down; down; paint; up;
end;
end.
if6program raf105;
uses robot;
begin
task('if6');
up;
if cellispainted
then begin down; down; paint; end
else begin down; down;
if cellispainted
then begin up; up; paint; end
else begin up; left;
if cellispainted
then begin right; right; paint; end
else paint;
end;
end;
end.
if7program raf105;
uses robot;
begin
task('if7');
if wallfromright and wallfromdown
then begin up; left; paint; end;
if wallfromleft and wallfromdown
then begin up; right; paint; end;
if wallfromup and wallfromleft
then begin right; down; paint; end;
if wallfromup and wallfromright
then begin down; left; paint; end
end.
Конъюнкция - это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложеное выражение ложно.
Обозначение: F = A & BДизъюнкция - это сложное логическое выражение, которое истинно, если хотя бы одно из простых логических выражений истинно и ложно тогда и только тогда, когда оба простых логических выраженныя ложны.
Обозначение: F = A + B.
Инверсия - это сложное логическое выражение, если исходное логическое выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное логическое выражение ложно, то результат отрицания будет истинным. Другими простыми слова, данная операция означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО.
Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь. Тоесть данная логическая операция связывает два простых логических выражения, из которых первое является условием (А), а второе (В) является следствием.
Эквивалентность - это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность..
