Связь формулы и схемы. Библиотека вентилей, симулятор формула↔схема.
Любая логическая формула реализуется физической схемой из вентилей. Связь прямая: каждой операции — свой вентиль, каждой скобке — группировка, каждой переменной — вход. ЕГЭ №15 часто даёт схему и просит формулу (или наоборот).
Логическая схема — это ориентированный ациклический граф. Каждый вентиль — вершина, провод — ребро. Выход одного вентиля может быть входом нескольких других (ветвление графа).
1∧1 = 1, иначе 0
0∨0 = 0, иначе 1
¬1 = 0, ¬0 = 1
Сначала ∧ и ¬, потом ∨
Схема: