Алгебра логики: основы и конъюнкция