ÉS-párhuzamosság

Rövid szöveges bemutatás: 
Az és-párhuzamosság esetén egy implikációs logikai műveletet tudunk párhuzamosítani. A párhuzamosítás úgy néz ki, hogy az implikáció bal és jobb oldalát külön-külön is ki tudjuk értékelni, és a kapott eredményekre elegendő leellenőrizni az implikációt eredményességét. Ezt a párhuzamosítást nehéz megvalósítani hogyha az implikáció bal és jobb oldalán is szerepel ugyan az a változó, egységnyi logikai állítás.