Что такое алгебра логики в информатике?

Это операции над истинностью высказываний: отрицание, конъюнкция (И), дизъюнкция (ИЛИ), импликация, эквиваленция и другие. В ЕГЭ встречаются таблицы истинности и упрощение выражений.

Как связаны логика и Python?

В Python: not, and, or; для XOR часто используют ^ или !=. В тренажёре Neuronis рядом показаны школьные обозначения и код.

Где логические игры онлайн?

Откройте раздел «Логические игры» или игру «Логика» в каталоге тренажёров Neuronis.

Где теория по алгебре логики?

На странице «Логика в информатике» — обзор темы для класса и ссылки на тренажёры.

Алгебра логики информатика — таблицы истинности онлайн

← К тренажёрам

Операция	¬
Название	Отрицание
Обозначение	¬A
В Python	`not a`
Смысл	Переворачивает значение: «да» становится «нет», «нет» — «да».

Операция	∨
Название	Дизъюнкция
Обозначение	A ∨ B
В Python	`a or b`
Смысл	Достаточно одного «да»: лампа горит, если нажата хотя бы одна кнопка.

Операция	∧
Название	Конъюнкция
Обозначение	A ∧ B
В Python	`a and b`
Смысл	Нужны оба «да»: дверь откроется только двумя ключами сразу.

Операция	⊕
Название	Исключающее или
Обозначение	A ⊕ B
В Python	`a ^ b`
Смысл	Ровно одно «да»: либо чай, либо кофе — но не оба и не пусто.

Операция	↑
Название	Штрих Шеффера
Обозначение	A ↑ B
В Python	`not (a and b)`
Смысл	Ложно только когда оба истинны: запрет «и то, и другое сразу».

Операция	↓
Название	Стрелка Пирса
Обозначение	A ↓ B
В Python	`not (a or b)`
Смысл	Истинно только когда оба ложны: «ничего из перечисленного».

Операция	≡
Название	Эквиваленция
Обозначение	A ≡ B
В Python	`a == b`
Смысл	Значения совпадают: оба согласны или оба против — тогда истина.

Операция	→
Название	Импликация
Обозначение	A → B
В Python	`not a or b / a <= b`
Смысл	Ложно только в одном случае: подчинённый B не выполнил приказ начальника (A) и его обнулили (F=0).

Алгебра логики информатика — логические функции и таблицы истинности онлайн