Доведення формул логіки висловлювань

Локальний доводжувач для логіки висловлювань: розбір формули з операціями не, і, або, якщо то, тоді й лише тоді, повна таблиця істинності, перевірка тавтології, суперечності та здійсненності, контрприклад, зведення заперечення до кон’юнктивної форми та метод резолюцій, який виводить порожню клаузулу.

Заповни поля, запусти інструмент і перевір результат. Введене не публікується на окремій сторінці. Навчальний режим показує пояснення обчислень.