A main.js bemenete az 1. sorban lévő input változó. Itt a nagybetűk a változók (A, B...) és a kisbetűk a műveleti jelek.
Elérhető műveleti jelek:
n- negációo- megengedő vagyx- kizáró vagya- ési- implikációe- ekvivalencia(és)- a zárójelek a megszokott módon működnek, minden(-hez kell egy)is
Helyes bemenetek: AonBxC, XaYo(nZiX)...
Helytelen bemenetek: oAaB (a vagy nem értelmezhető), AnBoC (a negáláshoz csak egy változó kell)
A program megtalálható ezen a weboldalon. Ez hasonlóan működik az előző programhoz, csak a műveletek jelei változtak meg a matematikában elfogadott jelölésekre (az előző jelölések is működnek még).