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

implicative normal form
.טכנול	implikacinė normalinė forma