Онлайн инструменты по математической логике

http://tablica-istinnosti.ru/ru