- x нь A олонлогт харьяалагдана, - x нь A олонлогт харьяалагдахгүй, - хоосон олонлог, - A олонлог B олонлогт багтана, - олонлогийн гүйцээлт.
Дугаар | Тодорхойлолт | Томьёо |
18.1.1 | Олонлогуудын нэгдэл | |
18.1.2 | Олонлогуудын огтлолцол | |
18.1.3 | Олонлогуудын ялгавар | |
18.1.4 | S олонлог хүртэлх A олонлогийн гүйцээлт | |
18.1.5 | Хоёрдмолын зарчим | |
18.1.6 |