Codificar numericamente los valores logicos. por ejemplo 1 para cierto y 0 para falso y tratar las expresiones normalmente con operadores booleanos( or x , y , z , and x , y , z ,not x , y ).
Representar el valor de la expresion mediante el flujo de ejecucion del programa, si la expresion es cierta, el programa llegara a un sitio y si es falsa llegara a otro