Инструмент логики высказываний

Инструменты по математической логике позволяют построить:

- Таблицу истинности заданной функции с полным разбором функции

- Найти СКНФ и СДНФ

- Построить многочлен Жегалкина

- Минимизировать заданную функцию

- Принадлежность к основным классам замкнутости Instruments allow us to construct mathematical logic:

- The truth table of a given function with a full analysis of the function

- Find and SKNF PDNF

- Build a polynomial Zhegalkin

- Minimize the given function

- Belonging to the main classes of closed