relation algebra ^{الإنجليزية} (Q2851145)

residuated Boolean algebra equipped with an involution (converse) ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	relation algebra	residuated Boolean algebra equipped with an involution (converse)

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

Microsoft Academic ID ^{الإنجليزية}

١ مراجع

Freebase ID ^{الإنجليزية}

١ مراجع

subclass of ^{الإنجليزية}

١ مراجع

defining formula ^{الإنجليزية}

{\begin{aligned}a\lor b&=b\lor a\\a\lor (b\lor c)&=(a\lor b)\lor c\\{\overline {{\bar {a}}\lor {\bar {b}}}}\lor {\overline {{\bar {a}}\lor b}}&=a\\a\cdot (b\cdot c)&=(a\cdot b)\cdot c\\a\cdot 1&=a\\{\hat {\hat {a}}}&=a\\{\widehat {a\cdot b}}&={\hat {b}}\cdot {\hat {a}}\\{\widehat {a\lor b}}&={\hat {a}}\lor {\hat {b}}\\(a\lor b)\cdot c&=(a\cdot c)\lor (b\cdot c)\\({\hat {a}}\cdot {\overline {a\cdot b}})\lor {\bar {b}}&={\bar {b}}\end{aligned}}

١ مراجع