São dadas as proposições p, q, r e s, que podem ser verdadeiras ou falsas. A análise lógica de uma sentença matemática envolvendo tais proposições implica na construção de uma tabela verdade que possui:
