Здравствуйте, мне нужно получить минимальное покрытие совокупности функций заданных в СКНФ.
На лекциях мы разбирали только для 1 функции.
Мы получали сокращенную КНФ из исходной СКНФ и делали таблицу:
- по горизонтали записывали члены СКНФ
- по вертикали члены сокращенного КНФ
- на в ячейках таблицы где член по горизонтали отличается на 1 элемент от члена по вертикали записывали букву a, b, c ...
- потом для каждого столбца выписывали все буквы объединяя их дизъюнкцией и между собой конъюнкцией и получали как раз мин. покрытие.
Вот пример
Но мы не делали для совокупности, я не слишком понимаю что значат эти буквы в функции покрытия, видимо для совокупности нужно выписывать в стобцы и в строки члены обоих функций и потом делать то же самое?
Либо искать функцию покрытия для каждой функции и потом их объединять дизъюнкцией?
