19 задание
Первое: Короче берешь, расставляешь порядок действий, потом делаешь таблицу истинности. Берешь поочередно переменные, проверяешь фиктивные они или существенные вот как: берешь набор переменных из таблички и результат, что в итоге получился, меняешь эту переменную, которую проверяешь, если ничего не изменилось, делаешь так же с другим набором до тех пор пока не будет изменения. Если везде от изменения этой переменной ниче не менялось, то эта переменная фиктивная. Дальше СДНФ, потом СКНФ, потом полином