Изменения

## Обернуть в tex бинарные операции в методе Квайна

## Все константы и переменные взять в tex

## англоязычных терминов

## писать каждое слово с большой буквы (типа Конъюнктивная Нормальная Форма) не надо