Таблица истинности: основы логики и обозначения