Мне в комментах накинули интересный термин "булева логика", чел. который это выдал не вызвал у меня доверия, но все же хочется понять, что за зверь это такой, кто может поделиться ответами по следующим вопросам:
1. Чем "булева логика" отличается от "булевой алгебры"
2. Чем "булева логика" отличается от "логики предикатов"
3. Основные законы "булевой логики".