Конспект із математичної логіки з поясненнями, таблицею істинності та прикладами перетворення формул.
У матеріалі розглянуто:
поняття функціональної повноти систем логічних зв’язок;
штрих Шеффера та стрілку Пірса, вираження основних логічних операцій через них;
алгоритм послідовного перетворення формул;
логічні константи 0 та 1;
додавання за модулем 2 (XOR), його властивості та поєднання з іншими зв’язками;
обґрунтування повноти й неповноти окремих систем.
Матеріал підійде для студентів, учителів та учнів старших класів, які поглиблено вивчають математичну логіку. Можна використовувати під час занять, для самостійного опрацювання та повторення.
