Математична логіка

3.1. Логіка висловлень
3.5. Релейно-контактні схеми
3.3. Закони логіки. Спрощення виразів
3.4. Диз'юнктивна та кон'юнктивна нормальна форма. Критерії істинності
3.2. Закони логіки. Таблиці істинності