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