Логическая функция задается выражением a b Overline в таблицу истинности