Домашнее задание «Булевы функции»

(На листочке!)

Рассмотрим тернарную булеву функцию, заданную таблицей истинности:

abcf(a, b, c)
0001
001отстаток от деления 1-й цифры номера вашего мобильного на два
010отстаток от деления 2-й цифры номера вашего мобильного на два
011отстаток от деления 3-й цифры номера вашего мобильного на два
100отстаток от деления 4-й цифры номера вашего мобильного на два
101отстаток от деления 5-й цифры номера вашего мобильного на два
110отстаток от деления 6-й цифры номера вашего мобильного на два
111отстаток от деления 7-й цифры номера вашего мобильного на два
  1. Записать функцию f в виде КНФ.
  2. Записать функцию f в виде ДНФ.
  3. Записать функцию f в виде карты Карно и, найдя прямоугольники из единиц, составить как можно более короткую формулу, описывающую функцию f.
  4. Придумать и реализовать для функции f аналогичный метод, но в котором прямоугольниками покрываются не все единицы в карте Карно, а наоборот — все нули. (То есть метод двойственный к методу, рассказанному на уроке, точно так же, как ДНФ двойственна к КНФ.)