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