@miloter/tablelogic

It allows you to calculate truth tables of simple and compound propositions