• Бульдік алгебра және компьютердің логикалық