Функционально-полные системы логических функций

В современных компьютерах применяются интегральные схемы, у которых в качестве базовой логической схемы используется одна из схем:

1. «НЕ-И»- отрицание конъюнкции (операция Шеффера или штрих Шеффера). Отрицание конъюнкции двух высказываний А и В есть сложное высказывание ложное только на одном наборе, когда А и В – истинны, и истинны при всех других наборах.

2. «НЕ-ИЛИ» - отрицание дизъюнкции (операция Пирса или стрелка Пирса). Сложное высказывание истинно только на одном наборе значений, когда А и В –ложны, и ложны при всех других наборах.

Таблица истинности: