Таблицы истинности и дизъюнкция в информатике: основы логики