Os maxtermos são utilizados para formular funções lógicas a pa...

Os maxtermos são utilizados para formular funções lógicas a partir de uma tabela verdade, que representa uma situação de lógica booleana. considere um exemplo prático de lógica de programação booleana, em que um reservatório de água, que possui dois sensores de nível e uma bomba de recalque, precisa manter-se cheio. o primeiro sensor a fica na parte inferior do reservatório e o segundo sensor b fica na parte superior do reservatório. para que a bomba ligue, é necessário que o sensor a e o sensor b estejam desligados. considerando o problema proposto, a tabela verdade que representa o processo necessário para ligar a bomba pode ser assim descrita:
a sensor inferior
b sensor superior
s função liga bomba
f (falso)
f (falso)
t (verdadeiro)
f (falso)
t (verdadeiro)
f (falso)
t (verdadeiro)
f (falso)
f (falso)
t (verdadeiro)
t (verdadeiro)
f (falso)

fonte: elaborado pelo autor.
a função lógica, utilizando maxtermos, que representa a solução para esse problema lógico pode ser encontrada em:
((¬a) λ (¬
(a λ b).
(a v b).
(a λ b) v (a λ (¬
((¬a) v b).