Hver er munurinn á forsendum og ef-kveikjum?

Ástandsskilyrði eru aðeins notuð til að ákvarða hvort sjálfvirknisenan sé skilvirk og mun ekki koma af stað framkvæmd vettvangsins.

Til dæmis, ef kveikjuástand atriðisins er „þegar kveikt er á tæki A“ og ástandsástandið „þegar kveikt er á tæki B“ er aðgerðin að slökkva á tæki C.

Aðeins þegar kveikt er á tæki A og einnig er kveikt á tæki B verður vettvangurinn ræstur til að slökkva á tæki C.

Það að kveikja eða slökkva á tæki B eitt og sér mun ekki kveikja á senu.