Le funzioni in questa categoria permettono di effettuare calcoli su valori di verità; in Proteus, ogni valore diverso da 0 è considerato VERO e 0 è considerato FALSO, proprio come in 'C'.

AND([@]n1, [@]n2[, n3..])

AND logico; restituisce un numero diverso da 0 se e solo se tutti i numeri sono diversi da 0

OR([@]n1, [@]n2[, n3..])

OR logico; restituisce un numero diverso da 0 se e solo almeno un numero è diverso da 0

XOR([@]n1, [@]n2[, n3..])

OR esclusivo logico; restituisce un numero diverso da 0 se e solo se almeno un numero è diverso da 0 e almeno un numero è uguale a 0

NOT([@]n)

NOT logico; restituisce un numero diverso da 0 se e solo se n è uguale a 0