Само отговор по няколко пункта.

Престани да говориш за зависимост м/у асоцианти, след като не разглеждаш функции. Записът x->>y предполага, че асоцията зависи само от х и у. Далеч по продуктивно е да работиш с (x,y,z) \in {0,1}^3. Няма съществена разлика м/у ({0,1}x{0,1})x{0,1} i {0,1}^3.
Също така исках да ти кажа, че няма нищо свещено в импликацията и другите булеви функции. Това че използваме точно тези с такива имена е главно историческа причина. Има също и теорема, че всяка булева функция е комбинация от дизюнкции и конюнкции. (ако някой може да уточни това, ще се радвам).

Ти просто си работиш с подмножества. Голям праз, че имах едно от 2^8 помножества на {0,1}^3. Това, че на теб то ти е полезно си е съвсем друг въпрос. Но дори няма смисъл да мътиш водата като го сравняваш с графиката на импликацията.

Айде наслука.