Na čtvrtém grafu jsou zobrazeny floppy funkce příslušnosti implikace a ekvivalence. Opět jsou získány jako součet všech funkcí příslušnosti těch primárních fuzzy množin, které do příslušné floppy množiny patří.
Příslušné floppy množiny získáme takto:
A ⇒ B ≡
≡ ¬A ∨ (A ∧ B) ≡
≡ A' ∪ (A ∩ B) ≡
≡ (A' ∪ A) ∩ (A' ∪ B) ≡
≡ 1 ∩ (A' ∪ B) ≡
≡ A' ∪ B
A ⇔ B ≡
≡ (A ∧ B) ∨ (¬A ∧ ¬B) ≡
≡ (A ∩ B) ∪ (A' ∩ B')