Основы логики: таблицы истинности и эквивалентность