Tableau

Trabalho para a disciplina MAC0239 - Introdução à Lógica e Verificação de Programas do IME-USP, feito em outubro de 2016, junto com Matheus Tavares.

Este programa feito em Java recebe uma expressão lógica e devolve as valorações para suas váriaveis que a tornam verdadeira.

Github: https://github.com/lucasoshiro/tableau

Atualizado em: