Таблицы истинности одна из самых первых тем в дискретной математике, является первой ступенькой в введении в математическую логику.