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