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