Пример решения вектора
введите в поле 1110

Нажмите Решить
Выйдет окно результата

Введенная задача попадает в журнал.

Двойным кликом можно открыть любой результат который растчитывался ранее

формулаили
Вектор
Решить
введите в поле 1110

Нажмите Решить
Выйдет окно результата

Введенная задача попадает в журнал.

Двойным кликом можно открыть любой результат который растчитывался ранее
введите в поле A→B↔¬AvB

Нажмите Решить
Выйдет окно результата

Введенная формула также попадает в журнал.

Двойным кликом можно открыть любой результат который расчитывался ранее