Основы алгебры логики: конъюнкция, дизъюнкция, инверсия