Już wiem, że tu nie chodzi o BRAK WYNIKU implikacji lecz o to, że wynik ma wartość rozmytą i może być wyrażony jedynie za pomocą operatorów AND, OR
Dodaje różne przypadku zachodzenia zbiorów, które wg mnie stanowią podstawę różnych tabeli prawdy, choć jeszcze tego nie sprawdziłem

Dokonuje także interpretacji graficznej implikacji
IF (p*q) → p
dla przypadku częściowo rozłącznych zbiorów
gdzie (p*q)=1, p=1 wynikiem jest PRAWDA
Zakreślamy obszar poprzednika implikacji (p*q)
Zakreślamy obszar następnika implikacji p
Jeśli obszar następnika implikacji pokrywa zupełnie obszar poprzednika implikacji to PRAWDA.
Jeśli obszar następnika implikacji nie pokrywa w żadnej części obszaru poprzednika to FAŁSZ.
Jeśli obszar następnika pokrywa obszar poprzednika jedynie w części i w części nie pokrywa to wówczas MOŻE - czyli wartość rozproszona, którą można wyrazić jedynie za pomocą AND, OR - wynikiem implikacji jest definicja obszaru pokrycia zbiorów.

na przykładzie
IF (p*q) → p
dla przypadku zbiorów częściowo rozłącznych
gdzie (p*q)=0, p=1 wynikiem będzie ~(p*q)*p+[~(p*q)*q+~(p+q)]
co uwzględnia cały obszar z wyłączeniem (p*q)
Dodam, że wg mnie obszar zdania to inaczej ZAKRES ZNACZENIOWY WYRAŻENIA.
Zakresy znaczeniowe zdań nachodzą na siebie tak samo jak zbiory z mojego rysunku.
--------------
Dodaję pierwszą tabelę prawdy dla przypadku zbiorów częściowo rozłącznych