Vejamos alguns exemplos de como funciona esta calculadora.
Suponha-se que se pretende determinar qual é o valor de verdade da seguinte fórmula proposicional:
O primeiro passo consiste em escrever com o teclado essa fórmula proposicional. Uma vez que no teclado não aparecem os símbolos das conectivas proposicionais, é necessário utilizar as teclas disponíveis e correspondentes, tal como se pode ver no seguinte quadro:
Uma vez sabendo as teclas que correspondem aos símbolos das conectivas, pode-se escrever a fórmula proposicional no teclado, tal como aparece na imagem:
Ao clicar-se no botão “Construir tabela de verdade” imediatamente aparece a tabela totalmente preenchida e que pode ser transferida para um ficheiro Word ou PowerPoint:
O mesmo sucede para qualquer outra fórmula proposicional. Imagine-se que queremos construir uma tabela de verdade da seguinte fórmula proposicional:
Seguindo o mesmo processo obtemos o seguinte: