Je was op zoek naar: distributive (Engels - Hebreeuws)

distributive
חוק הפילוג

a distributive category is one in which this morphism is actually an isomorphism.
* בקטגוריה של קבוצות, המכפלה היא פשוט מכפלה קרטזית של אוסף הקבוצות.

for example, all of the following formulas are in dnf::formula_1:formula_2:formula_3:formula_4however, the following formulas are not in dnf::formula_5 — not is the outermost operator:formula_6 — an or is nested within an andconverting a formula to dnf involves using logical equivalences, such as the double negative elimination, de morgan's laws, and the distributive law.
== העברת נוסחה לצורת dnf ==כל נוסחה בתחשיב הפסוקים ניתנת להצגה כנוסחת dnf כך:# עבור כל השמה כזו, בניית פסוקית אשר מכילה את כל המשתנים שערכם "אמת", ואת שלילת כל המשתנים המקבלים ערך "שקר"(בהם פעולות "וגם")נוסחאות dnf במשתנים formula_1 הינם נוסחאות מהצורה::formula_2:formula_3:formula_4:formula_5* cnf