Как мне относиться к многозначной логике в вычислении канонического перекрытия?
Ситуация:
B->TCW
C->WG
TCB->OMW
L->UNM
TL->CGM
Теперь я должен рассчитать каноническое перекрытие и удалить избыточность.
После уменьшения влево и вправо я получаю следующий результат
B -> TC
C -> WG
TCB -> OM
L -> UNM
TL -> C
Итак, вопрос в том, что бы произошло, если бы у меня было еще две функциональные зависимости?
например
B->TCW
C->WG
TCB->OMW
L->UNM
TL->CGM
BL ->-> F
BL ->-> G
С моей точки зрения или понимания, я бы сказал, что обе новые многозначные логики не имеют никакого влияния на каноническое перекрытие. Таким образом, результат будет одинаковым только с двумя многозначными логиками.
Но что случилось бы, если бы у нас была многозначная логика, которая влияет на результат?
Разрешено ли вычеркивать дубликаты или нет, потому что если у нас многозначная логика, каждая буква будет ключевым значением?