Табличный способ решения логических задач.