Главное содержание

Программа W80L предназначена для вычисления значения произвольных логических выражений. В выражениях можно использовать скобки, логические константы, логические переменные, 9 видов различных логических операций. Поддерживается построение таблицы истинностии и построение нормальных форм — ДНФ (включая минимальную), КНФ (включая минимальную), АНФ (полином Жегалкина). Таблица истинности может быть выгружена в файл.