Логика и математика: таблицы логических переменных