Лекция: Билет #18

1. Логические основы алгоритмизации.

Алгебра логики оперирует с высказываниями, т.е. повествовательными предложениями, о которых можно сказать (И) — Истинно оно или (Л) — Ложно. Над высказываниями можно производить определенные логические операции, в результате которых получаются новые высказывания. Их истинность зависит от истинности исходных выражений и вида логической операции.

Наиболее часто используются логические операции, выражаемые словами «и», «или», «не». А именно:

1. Конъюнкция (логическое умножение). Соединение двух (или несколько) высказываний в одно с помощью союза И (AND) называется конъюнкцией (или операцией логического умножения). Обозначаются Л, &, х. Значения логических операций определяются по правилам, задаваемым в таблице истинности. 0*0=0, 0*1=0, 1*0=0, 1*1=1.

2. Дизъюнкция (логическое сложение). Соединение двух (или несколько) высказываний в одно с помощью союза ИЛИ (OR) называется дизъюнкцией (или логического сложения). Обозначаются I, V, +. 0+0=0, 0+1=1, 1+0=1, 1+1=1.

3. Отрицание (инверсия).Присоединение частицы НЕ (NOT) к данному высказываниюназывается операцией отрицания (инверсии). Ā, А – «не А» 1-0,0-1.

4. Эквивалентности. Обозначаются А ~ В (А ≡ В, А eqv В). 0=>0=1, 0=>1=1, 1=>0=0, 1=>1=1.

5. Операция импликации (логического следования). Обозначаются А→ В. 0->0=1, 0->1=0, 1->0=0, 1->1=1.

2. Разработать приложение в среде программирования Pascal или Delphi:

Разработать приложение, в котором имитируется полет птицы над лесом (лес получить путем рисования одного «дерева» в цикле).