Примеры

Логические операции - логическое действие.

Существуют три базовые логические операции - конъюнкция, дизъюнкция и отрицание и дополнительные - импликацию и эквивалентность.
 Если составное высказывание (логическую функцию) выразить в виде формулы, в которую войдут логические переменные и знаки логических операций, то получится логическое выражение, значение которого можно вычислить. Значением логического выражения могут быть только ЛОЖЬ или ИСТИНА. При составлении логического выражения необходимо учитывать порядок выполнения логических операций, а именно:

1) действия в скобках;
2) инверсия, конъюнкция, дизъюнкция, импликация, эквивалентность.

Пример
Записать в виде логического выражения следующее высказывание: "Летом Петя поедет в деревню и, если будет хорошая погода, то он пойдет на рыбалку".


1. Разобьем составное высказывание напростые высказывания: "Петя поедет в деревню", "Будет хорошая погода", "Он пойдет на рыбалку". 


Обозначим их через логические переменные:

А = Петя поедет в деревню;
В = Будет хорошая погода;
С = Он пойдет на рыбалку.

2.  Запишем высказывание в виде логического выражения, учитывая порядок действий. Если необходимо, расставим скобки:

F= A& (B+C).