В основе булевой алгебры лежат 16 основных функций. Наиболее часто применяемые из них:

• логическое отрицание (инверсия);
• логическое умножение (конъюнкция);
• логическое сложение (дизъюнкция);
• логическое следование (импликация);
• логическая операция эквивалентности.

Приоритет  выполнения логических операций:

1. Логическое отрицание (инверсия)
2. Логическое умножение (конъюнкция)
3. Логическое сложение (дизъюнкция)
4. Логическое следование (импликация)
5. Логическая операция эквивалентности.

Для изменения указанного порядка могут использоваться скобки.

Задания для самостоятельного выполнения:

Задание 1. Есть два простых высказывания:

А - "Число 10 - четное";              В - "Волк - травоядное животное".

Составьте из них все возможные составные высказывания и определите их истинность. 

Задание 2. Запишите следующие высказывания в виде логических выражений.

1. Число 17 нечетное и двузначное.
2. На уроке физики ученики выполняли лабораторную работу и сообщали результаты исследований учителю.
3. Если число делится на 2, то оно - четное. Переходи улицу только на зеленый свет.
4. Если компьютер включен, то можно на нем работать.
5. Водительские права можно получить тогда и только тогда, когда тебе исполнится 18 лет.
6. Компьютер выполняет вычисления, если он включен.

Задания 3. Составьте и запишите истинные сложные высказывания из простых с использованием логических операций.

1. Неверно, что 10>Y>5 и Z<0.  

2. Z является min (Z,Y).  

3. А является max (A,B,C).  

4. Любое из чисел X,Y,Z положительно.  

5. Если X делится на 2, то оно четное.