Lógica matemática
Requisitos de finalización
Ver
F o F = F
F o V = V
V o V = V
V o F = V