Штрих Шеффера презентация

История:
Штрих назван в честь Генри Мориса Шеффера , который в 1913 году опубликовал в «Трудах Американского общества математики» статью , содержащую аксиоматизацию с использованием штриха, и доказал ее эквивалентность используя знакомую формулу операторы логики высказываний ( И , ИЛИ , НЕ ).