אנגלית ⇄ רוסית +

normal forms for boolean expressions מתח
.תִכנו	нормальные формы булевых выражений (ssn)