Построение таблиц истинности для логических выражений

высказывания.
Как обозначаются высказывания в Алгебре логики?
Чему могут быть равны логические

переменные?

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

в соответствие двум высказываниям новое высказывание, которое является истинным тогда

и только тогда, когда оба исходных высказывания истинны.

Для записи конъюнкции используются следующие знаки:
И, ^, *, &.

Конъюнкцию ещё называют логическим умножением.

двум высказываниям ставит в соответствие новое высказывание, являющееся ложным тогда

и только тогда, когда оба исходных высказывания ложны.

Для записи дизъюнкции используются следующие знаки:
ИЛИ, ˅, |, +.

Дизъюнкцию ещё называют логическим сложением.

высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному.

Для

записи инверсии используются следующие знаки: НЕ, - , ¬.
Инверсию ещё называют логическим отрицанием.

таблице:
количество строк = 2n+1,  где n – количество логических

переменных.
2. Определить количество столбцов в таблице:
количество столбцов = количеству логических переменных + количество логических операций.
3. Построить таблицу истинности с указанным количеством строк и столбцов, ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов (¬, &, V);
приоритеты: ( ), ¬, &, V.
4. Заполнить столбцы входных переменных наборами значений.
5. Заполнить таблицу истинности, выполняя логические операции в соответствии с приоритетами действий.

¬(A&B)
Логических переменных: 2, операций: 2.
Количество строк: 22+1=5, количество столбцов: 2+2=4.

логических выражений:
1) В&(АVВ)
3) А&(A˅B˅C)