Логика и математика: эквивалентность в таблицах